Charlie is big. Charlie is green. Charlie is kind. Charlie is white. Charlie is young. Dave is green. Dave is young. Gary is big. Gary is kind. Gary is white. Gary is young. Harry is green. Harry is kind. Harry is quiet. Harry is white. Harry is young. If Dave is kind and Dave is quiet then Dave is green. All young things are kind. If something is quiet and green then it is smart. If something is big then it is quiet. All kind things are big. All kind, smart things are white. White things are kind. All white things are smart.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Dave is kind and Dave is quiet then Dave is green.
((("Dave" "is" "kind" "+") ("Dave" "is" "quiet" "+")) -> ("Dave" "is" "green" "+"))
All young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is quiet and green then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is big then it is quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
All kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
All kind, smart things are white.
((("something" "is" "kind" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
White things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
All white things are smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Harry is white.
True
1
proof
[(triple15 OR ((triple13 ((triple14 triple12) -> rule3)) -> rule6) OR ((((triple16) -> rule2) ((triple14 triple12) -> rule3)) -> rule6) OR ((triple13 ((((((triple13) -> rule5)) -> rule4) triple12) -> rule3)) -> rule6) OR ((((triple16) -> rule2) ((((((triple13) -> rule5)) -> rule4) triple12) -> rule3)) -> rule6) OR ((triple13 ((((((((triple16) -> rule2)) -> rule5)) -> rule4) triple12) -> rule3)) -> rule6) OR ((((triple16) -> rule2) ((((((((triple16) -> rule2)) -> rule5)) -> rule4) triple12) -> rule3)) -> rule6))]
("Harry" "is" "white" "+")
triple15
((triple13 ((triple14 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple16) -> (rule2 % int3)) ((triple14 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple13 ((((((triple13) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple16) -> (rule2 % int5)) ((((((triple13) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple13 ((((((((triple16) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple16) -> (rule2 % int5)) ((((((((triple16) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Dave is not green.
False
1
inv-proof
[(triple6 OR ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1))]
("Dave" "is" "green" "-")
triple6
((((triple7) -> (rule2 % int4)) ((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is kind.
True
2
proof
[(((triple7) -> rule2))]
("Dave" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple10) -> rule8))]
("Gary" "is" "smart" "-")
((triple10) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Dave is big.
True
3
proof
[(((((triple7) -> rule2)) -> rule5))]
("Dave" "is" "big" "+")
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not big.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule5))]
("Dave" "is" "big" "-")
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
True
4
proof
[(((((((triple7) -> rule2)) -> rule5)) -> rule4))]
("Dave" "is" "quiet" "+")
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not quiet.
False
4
inv-proof
[(((((((triple7) -> rule2)) -> rule5)) -> rule4))]
("Dave" "is" "quiet" "-")
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
True
6
proof
[(((((((((triple7) -> rule2)) -> rule5)) -> rule4) triple6) -> rule3) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule4) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1)) -> rule3))]
("Dave" "is" "smart" "+")
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule2 % int5)) ((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is not smart.
False
6
inv-proof
[(((((((((triple7) -> rule2)) -> rule5)) -> rule4) triple6) -> rule3) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule4) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1)) -> rule3))]
("Dave" "is" "smart" "-")
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule2 % int5)) ((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is white.
True
9
proof
[(((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule5)) -> rule4) triple6) -> rule3)) -> rule6) OR ((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule5)) -> rule4) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1)) -> rule3)) -> rule6))]
("Dave" "is" "white" "+")
((((triple7) -> (rule2 % int5)) ((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple7) -> (rule2 % int6)) ((((((((triple7) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple7) -> (rule2 % int6)) ((((((triple7) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
Dave is not white.
False
9
inv-proof
[(((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule5)) -> rule4) triple6) -> rule3)) -> rule6) OR ((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule5)) -> rule4) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1)) -> rule3)) -> rule6))]
("Dave" "is" "white" "-")
((((triple7) -> (rule2 % int5)) ((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple7) -> (rule2 % int6)) ((((((((triple7) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple7) -> (rule2 % int6)) ((((((triple7) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
@0: Charlie is big.[(triple1 OR ((triple3) -> rule5) OR ((((triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule7) OR ((triple5) -> rule2))] Charlie is white.[(triple4 OR ((triple3 ((((triple1) -> rule4) triple2) -> rule3)) -> rule6) OR ((((triple5) -> rule2) ((((triple1) -> rule4) triple2) -> rule3)) -> rule6) OR ((triple3 ((((((triple3) -> rule5)) -> rule4) triple2) -> rule3)) -> rule6) OR ((((triple5) -> rule2) ((((((triple3) -> rule5)) -> rule4) triple2) -> rule3)) -> rule6) OR ((triple3 ((((((((triple5) -> rule2)) -> rule5)) -> rule4) triple2) -> rule3)) -> rule6) OR ((((triple5) -> rule2) ((((((((triple5) -> rule2)) -> rule5)) -> rule4) triple2) -> rule3)) -> rule6))] Charlie is young.[(triple5)] Dave is green.[(triple6 OR ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1))] Dave is young.[(triple7)] Gary is big.[(triple8 OR ((triple9) -> rule5) OR ((((triple10) -> rule7)) -> rule5) OR ((((triple11) -> rule2)) -> rule5))] Gary is kind.[(triple9 OR ((triple10) -> rule7) OR ((triple11) -> rule2))] Gary is white.[(triple10)] Gary is young.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13 OR ((triple15) -> rule7) OR ((triple16) -> rule2))] Harry is quiet.[(triple14 OR ((((triple13) -> rule5)) -> rule4) OR ((((((triple15) -> rule7)) -> rule5)) -> rule4) OR ((((((triple16) -> rule2)) -> rule5)) -> rule4))] Harry is white.[(triple15 OR ((triple13 ((triple14 triple12) -> rule3)) -> rule6) OR ((((triple16) -> rule2) ((triple14 triple12) -> rule3)) -> rule6) OR ((triple13 ((((((triple13) -> rule5)) -> rule4) triple12) -> rule3)) -> rule6) OR ((((triple16) -> rule2) ((((((triple13) -> rule5)) -> rule4) triple12) -> rule3)) -> rule6) OR ((triple13 ((((((((triple16) -> rule2)) -> rule5)) -> rule4) triple12) -> rule3)) -> rule6) OR ((((triple16) -> rule2) ((((((((triple16) -> rule2)) -> rule5)) -> rule4) triple12) -> rule3)) -> rule6))] Harry is young.[(triple16)] @1: Charlie is quiet.[(((triple1) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule5)) -> rule4) OR ((((((triple5) -> rule2)) -> rule5)) -> rule4))] Charlie is smart.[(((triple4) -> rule8) OR ((((triple1) -> rule4) triple2) -> rule3) OR ((((((triple3) -> rule5)) -> rule4) triple2) -> rule3) OR ((((((((triple4) -> rule7)) -> rule5)) -> rule4) triple2) -> rule3) OR ((((((((triple5) -> rule2)) -> rule5)) -> rule4) triple2) -> rule3))] Dave is kind.[(((triple7) -> rule2))] Gary is quiet.[(((triple8) -> rule4) OR ((((triple9) -> rule5)) -> rule4) OR ((((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((((triple11) -> rule2)) -> rule5)) -> rule4))] Gary is smart.[(((triple10) -> rule8))] Harry is big.[(((triple13) -> rule5) OR ((((triple15) -> rule7)) -> rule5) OR ((((triple16) -> rule2)) -> rule5))] Harry is smart.[(((triple15) -> rule8) OR ((triple14 triple12) -> rule3) OR ((((((triple13) -> rule5)) -> rule4) triple12) -> rule3) OR ((((((((triple15) -> rule7)) -> rule5)) -> rule4) triple12) -> rule3) OR ((((((((triple16) -> rule2)) -> rule5)) -> rule4) triple12) -> rule3))] @2: Dave is big.[(((((triple7) -> rule2)) -> rule5))] @3: Dave is quiet.[(((((((triple7) -> rule2)) -> rule5)) -> rule4))] @4: Dave is smart.[(((((((((triple7) -> rule2)) -> rule5)) -> rule4) triple6) -> rule3) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule4) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1)) -> rule3))] @5: Dave is white.[(((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule5)) -> rule4) triple6) -> rule3)) -> rule6) OR ((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule5)) -> rule4) ((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule5)) -> rule4)) -> rule1)) -> rule3)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple3) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple4) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple4
((triple3 ((((triple1) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple5) -> (rule2 % int4)) ((((triple1) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple3 ((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5) -> (rule2 % int5)) ((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((triple3 ((((((((triple5) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple5) -> (rule2 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
((((triple7) -> (rule2 % int4)) ((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
((triple9) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple9
((triple10) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
((triple15) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple16) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((((triple13) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple15) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple16) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple15
((triple13 ((triple14 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple16) -> (rule2 % int3)) ((triple14 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple13 ((((((triple13) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple16) -> (rule2 % int5)) ((((((triple13) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple13 ((((((((triple16) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple16) -> (rule2 % int5)) ((((((((triple16) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
triple16
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple4) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple1) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((((triple4) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple8) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((triple10) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple13) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple16) -> (rule2 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((triple15) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple14 triple12) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((((triple13) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((((triple15) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple16) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule2 % int5)) ((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
((((triple7) -> (rule2 % int5)) ((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple7) -> (rule2 % int6)) ((((((((triple7) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple7) -> (rule2 % int6)) ((((((triple7) -> (rule2 % int6))) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6