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