Dave is kind. Dave is white. Dave is young. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Gary is kind. Harry is kind. Harry is quiet. White things are big. If Harry is quiet then Harry is rough. All big things are smart. If something is young and kind then it is rough. All kind things are white. All quiet, rough things are young. All smart things are rough. If something is big and rough then it is young.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
White things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If Harry is quiet then Harry is rough.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "rough" "+"))
All big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If something is young and kind then it is rough.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
All quiet, rough things are young.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All smart things are rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is big and rough then it is young.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Harry is quiet.
True
1
proof
[(triple11)]
("Harry" "is" "quiet" "+")
triple11
Dave is not young.
False
1
inv-proof
[(triple3 OR ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple2) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((((triple2) -> rule1) ((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((((((triple1) -> rule5)) -> rule1) ((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule8))]
("Dave" "is" "young" "-")
triple3
((((triple2) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple2) -> (rule1 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is rough.
True
3
proof
[(((triple3 triple1) -> rule4) OR ((((((triple2) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule7))]
("Dave" "is" "rough" "+")
((triple3 triple1) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is not big.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))]
("Dave" "is" "big" "-")
((triple2) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Gary is big.
True
3
proof
[(((((triple9) -> rule5)) -> rule1))]
("Gary" "is" "big" "+")
((((triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Harry is not big.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule1))]
("Harry" "is" "big" "-")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Gary is smart.
True
4
proof
[(((((((triple9) -> rule5)) -> rule1)) -> rule3))]
("Gary" "is" "smart" "+")
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is not smart.
False
4
inv-proof
[(((((((triple9) -> rule5)) -> rule1)) -> rule3))]
("Gary" "is" "smart" "-")
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
True
5
proof
[(((((((((triple9) -> rule5)) -> rule1)) -> rule3)) -> rule7))]
("Gary" "is" "rough" "+")
((((((((triple9) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is not rough.
False
5
inv-proof
[(((((((((triple9) -> rule5)) -> rule1)) -> rule3)) -> rule7))]
("Gary" "is" "rough" "-")
((((((((triple9) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
True
9
proof
[(((((((triple9) -> rule5)) -> rule1) ((((((((triple9) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule8))]
("Gary" "is" "young" "+")
((((((triple9) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is not young.
False
9
inv-proof
[(((((((triple9) -> rule5)) -> rule1) ((((((((triple9) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule8))]
("Gary" "is" "young" "-")
((((((triple9) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Dave is kind.[(triple1)] Dave is white.[(triple2 OR ((triple1) -> rule5))] Dave is young.[(triple3 OR ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple2) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((((triple2) -> rule1) ((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((((((triple1) -> rule5)) -> rule1) ((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule8))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5 OR ((triple6) -> rule7) OR ((((((triple7) -> rule1)) -> rule3)) -> rule7))] Fiona is smart.[(triple6 OR ((((triple7) -> rule1)) -> rule3))] Fiona is white.[(triple7)] Fiona is young.[(triple8 OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple6) -> rule7)) -> rule6) OR ((((triple7) -> rule1) triple5) -> rule8) OR ((((triple7) -> rule1) ((triple6) -> rule7)) -> rule8) OR ((triple4 ((((((triple7) -> rule1)) -> rule3)) -> rule7)) -> rule6) OR ((((triple7) -> rule1) ((((((triple7) -> rule1)) -> rule3)) -> rule7)) -> rule8))] Gary is kind.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] @1: Dave is big.[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] Dave is rough.[(((triple3 triple1) -> rule4) OR ((((((triple2) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule7))] Fiona is big.[(((triple7) -> rule1))] Gary is white.[(((triple9) -> rule5))] Harry is rough.[(((triple11) -> rule2) OR ((((((((triple10) -> rule5)) -> rule1)) -> rule3)) -> rule7))] Harry is white.[(((triple10) -> rule5))] @2: Dave is smart.[(((((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule5)) -> rule1)) -> rule3))] Gary is big.[(((((triple9) -> rule5)) -> rule1))] Harry is big.[(((((triple10) -> rule5)) -> rule1))] Harry is young.[(((triple11 ((triple11) -> rule2)) -> rule6) OR ((((((triple10) -> rule5)) -> rule1) ((triple11) -> rule2)) -> rule8) OR ((triple11 ((((((((triple10) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule6) OR ((((((triple10) -> rule5)) -> rule1) ((((((((triple10) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule8))] @3: Gary is smart.[(((((((triple9) -> rule5)) -> rule1)) -> rule3))] Harry is smart.[(((((((triple10) -> rule5)) -> rule1)) -> rule3))] @4: Gary is rough.[(((((((((triple9) -> rule5)) -> rule1)) -> rule3)) -> rule7))] @5: Gary is young.[(((((((triple9) -> rule5)) -> rule1) ((((((((triple9) -> rule5)) -> rule1)) -> rule3)) -> rule7)) -> rule8))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
((triple1) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple3
((((triple2) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((triple2) -> (rule1 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple6) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
((triple4 triple5) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple4 ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple4 ((((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple7) -> (rule1 % int4)) ((((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Dave is big.
("Dave" "is" "big" "+")
((triple2) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple3 triple1) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple9) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((((((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((triple10) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((((triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple11 ((triple11) -> (rule2 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple10) -> (rule5 % int4))) -> (rule1 % int3)) ((triple11) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((triple11 ((((((((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple10) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
((((((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((((triple9) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((((((triple9) -> (rule5 % int5))) -> (rule1 % int4)) ((((((((triple9) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5