Bob is round. Charlie is cold. Charlie is round. Charlie is white. Erin is cold. Erin is quiet. Erin is round. Harry is cold. Harry is round. Harry is smart. If something is green then it is smart. Quiet, round things are big. All big, white things are cold. If something is white then it is quiet. Smart things are quiet. Round things are big. Big things are white. If something is quiet then it is green. If Charlie is round and Charlie is green then Charlie is smart.
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is green then it is smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Quiet, round things are big.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
All big, white things are cold.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
If something is white then it is quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Smart things are quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Big things are white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If something is quiet then it is green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Charlie is round and Charlie is green then Charlie is smart.
((("Charlie" "is" "round" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "smart" "+"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Charlie is not white.
False
1
inv-proof
[(triple4 OR ((((triple3) -> rule6)) -> rule7))]
("Charlie" "is" "white" "-")
triple4
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Harry is big.
True
2
proof
[(((triple9) -> rule6) OR ((((triple10) -> rule5) triple9) -> rule2))]
("Harry" "is" "big" "+")
((triple9) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple10) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Erin is not green.
False
2
inv-proof
[(((triple6) -> rule8) OR ((((((((triple7) -> rule6)) -> rule7)) -> rule4)) -> rule8))]
("Erin" "is" "green" "-")
((triple6) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((((((triple7) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Harry is white.
True
3
proof
[(((((triple9) -> rule6)) -> rule7) OR ((((((triple10) -> rule5) triple9) -> rule2)) -> rule7))]
("Harry" "is" "white" "+")
((((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple10) -> (rule5 % int3)) triple9) -> (rule2 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Bob is not white.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule7))]
("Bob" "is" "white" "-")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is smart.
True
4
proof
[(((((((triple4) -> rule4)) -> rule8)) -> rule1) OR ((triple3 ((((triple4) -> rule4)) -> rule8)) -> rule9) OR ((((((((((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule1) OR ((triple3 ((((((((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule9))]
("Charlie" "is" "smart" "+")
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple3 ((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((((((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((triple3 ((((((((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Bob is not cold.
False
6
inv-proof
[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3))]
("Bob" "is" "cold" "-")
((((triple1) -> (rule6 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
True
5
proof
[(((((((((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8))]
("Bob" "is" "green" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not green.
False
5
inv-proof
[(((((((((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8))]
("Bob" "is" "green" "-")
((((((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is smart.
True
6
proof
[(((((((((((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule1))]
("Bob" "is" "smart" "+")
((((((((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not smart.
False
6
inv-proof
[(((((((((((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule1))]
("Bob" "is" "smart" "-")
((((((((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
@0: Bob is round.[(triple1)] Charlie is cold.[(triple2 OR ((((triple3) -> rule6) triple4) -> rule3) OR ((((((triple4) -> rule4) triple3) -> rule2) triple4) -> rule3) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule3) OR ((((((triple4) -> rule4) triple3) -> rule2) ((((triple3) -> rule6)) -> rule7)) -> rule3))] Charlie is round.[(triple3)] Charlie is white.[(triple4 OR ((((triple3) -> rule6)) -> rule7))] Erin is cold.[(triple5 OR ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((triple7) -> rule6) ((((triple6 triple7) -> rule2)) -> rule7)) -> rule3) OR ((((triple6 triple7) -> rule2) ((((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((triple6 triple7) -> rule2) ((((triple6 triple7) -> rule2)) -> rule7)) -> rule3))] Erin is quiet.[(triple6 OR ((((((triple7) -> rule6)) -> rule7)) -> rule4))] Erin is round.[(triple7)] Harry is cold.[(triple8 OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule7)) -> rule3) OR ((((((triple10) -> rule5) triple9) -> rule2) ((((triple9) -> rule6)) -> rule7)) -> rule3) OR ((((triple9) -> rule6) ((((((triple10) -> rule5) triple9) -> rule2)) -> rule7)) -> rule3) OR ((((((triple10) -> rule5) triple9) -> rule2) ((((((triple10) -> rule5) triple9) -> rule2)) -> rule7)) -> rule3))] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((((((((((triple9) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule1))] @1: Bob is big.[(((triple1) -> rule6))] Charlie is big.[(((triple3) -> rule6) OR ((((triple4) -> rule4) triple3) -> rule2))] Charlie is quiet.[(((triple4) -> rule4) OR ((((((triple3) -> rule6)) -> rule7)) -> rule4))] Erin is big.[(((triple7) -> rule6) OR ((triple6 triple7) -> rule2))] Erin is green.[(((triple6) -> rule8) OR ((((((((triple7) -> rule6)) -> rule7)) -> rule4)) -> rule8))] Harry is big.[(((triple9) -> rule6) OR ((((triple10) -> rule5) triple9) -> rule2))] Harry is quiet.[(((triple10) -> rule5) OR ((((((triple9) -> rule6)) -> rule7)) -> rule4))] @2: Bob is white.[(((((triple1) -> rule6)) -> rule7))] Charlie is green.[(((((triple4) -> rule4)) -> rule8) OR ((((((((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule8))] Erin is smart.[(((((triple6) -> rule8)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule1))] Erin is white.[(((((triple7) -> rule6)) -> rule7) OR ((((triple6 triple7) -> rule2)) -> rule7))] Harry is green.[(((((triple10) -> rule5)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule7)) -> rule4)) -> rule8))] Harry is white.[(((((triple9) -> rule6)) -> rule7) OR ((((((triple10) -> rule5) triple9) -> rule2)) -> rule7))] @3: Bob is cold.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3))] Bob is quiet.[(((((((triple1) -> rule6)) -> rule7)) -> rule4))] Charlie is smart.[(((((((triple4) -> rule4)) -> rule8)) -> rule1) OR ((triple3 ((((triple4) -> rule4)) -> rule8)) -> rule9) OR ((((((((((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule1) OR ((triple3 ((((((((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule9))] @4: Bob is green.[(((((((((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8))] @5: Bob is smart.[(((((((((((triple1) -> rule6)) -> rule7)) -> rule4)) -> rule8)) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((((triple3) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple4) -> (rule4 % int3)) triple3) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule4 % int4)) triple3) -> (rule2 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((((triple7) -> (rule6 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple7) -> (rule6 % int3)) ((((triple6 triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple6 triple7) -> (rule2 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple6 triple7) -> (rule2 % int3)) ((((triple6 triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
((((((triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple10) -> (rule5 % int4)) triple9) -> (rule2 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple9) -> (rule6 % int4)) ((((((triple10) -> (rule5 % int3)) triple9) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple10) -> (rule5 % int4)) triple9) -> (rule2 % int3)) ((((((triple10) -> (rule5 % int4)) triple9) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
((((((((((triple9) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple3) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple4) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple4) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((triple7) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple6 triple7) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple6) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((((((triple7) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
((triple9) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple10) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple10) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((((triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((((((triple7) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple6 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple10) -> (rule5 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((((triple9) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((((triple9) -> (rule6 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple10) -> (rule5 % int3)) triple9) -> (rule2 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1) -> (rule6 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple3 ((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((((((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((triple3 ((((((((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
((((((((((triple1) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5