Bob is round. Charlie is blue. Charlie is rough. Fiona is blue. Fiona is cold. Fiona is green. Fiona is rough. Fiona is round. Gary is blue. Gary is cold. Gary is smart. All rough things are smart. All cold, round things are smart. Smart things are green. If something is blue and cold then it is round. If Bob is smart then Bob is blue. Round things are green. Red, green things are cold. Green things are rough. Green things are red.
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All rough things are smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
All cold, round things are smart.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is blue and cold then it is round.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If Bob is smart then Bob is blue.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "blue" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Red, green things are cold.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Fiona is round.
True
1
proof
[(triple8 OR ((triple4 triple5) -> rule4) OR ((triple4 ((((triple6) -> rule9) triple6) -> rule7)) -> rule4) OR ((triple4 ((((triple6) -> rule9) ((((triple7) -> rule1)) -> rule3)) -> rule7)) -> rule4) OR ((triple4 ((((((((triple7) -> rule1)) -> rule3)) -> rule9) triple6) -> rule7)) -> rule4) OR ((triple4 ((((((((triple7) -> rule1)) -> rule3)) -> rule9) ((((triple7) -> rule1)) -> rule3)) -> rule7)) -> rule4))]
("Fiona" "is" "round" "+")
triple8
((triple4 triple5) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple4 ((((triple6) -> (rule9 % int3)) triple6) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple4 ((((triple6) -> (rule9 % int5)) ((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((triple4 ((((((((triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) triple6) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((triple4 ((((((((triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Fiona is not blue.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "blue" "-")
triple4
Gary is round.
True
3
proof
[(((triple9 triple10) -> rule4) OR ((triple9 ((((((triple11) -> rule3)) -> rule9) ((triple11) -> rule3)) -> rule7)) -> rule4))]
("Gary" "is" "round" "+")
((triple9 triple10) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple9 ((((((triple11) -> (rule3 % int4))) -> (rule9 % int3)) ((triple11) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Fiona is not red.
False
2
inv-proof
[(((triple6) -> rule9) OR ((((triple8) -> rule6)) -> rule9) OR ((((((triple7) -> rule1)) -> rule3)) -> rule9) OR ((((((triple4 triple5) -> rule4)) -> rule6)) -> rule9) OR ((((((triple5 triple8) -> rule2)) -> rule3)) -> rule9) OR ((((((triple5 ((triple4 triple5) -> rule4)) -> rule2)) -> rule3)) -> rule9))]
("Fiona" "is" "red" "-")
((triple6) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple5 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple5 ((triple4 triple5) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is red.
True
3
proof
[(((((triple11) -> rule3)) -> rule9) OR ((((((triple9 triple10) -> rule4)) -> rule6)) -> rule9) OR ((((((triple10 ((triple9 triple10) -> rule4)) -> rule2)) -> rule3)) -> rule9))]
("Gary" "is" "red" "+")
((((triple11) -> (rule3 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple9 triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple10 ((triple9 triple10) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not red.
False
3
inv-proof
[(((((triple11) -> rule3)) -> rule9) OR ((((((triple9 triple10) -> rule4)) -> rule6)) -> rule9) OR ((((((triple10 ((triple9 triple10) -> rule4)) -> rule2)) -> rule3)) -> rule9))]
("Gary" "is" "red" "-")
((((triple11) -> (rule3 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple9 triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple10 ((triple9 triple10) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Bob is smart.
True
4
proof
[(((((((triple1) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule9) ((triple1) -> rule6)) -> rule7) triple1) -> rule2))]
("Bob" "is" "smart" "+")
((((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((((triple1) -> (rule6 % int4))) -> (rule9 % int3)) ((triple1) -> (rule6 % int4))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not smart.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule9) ((triple1) -> rule6)) -> rule7) triple1) -> rule2))]
("Bob" "is" "smart" "-")
((((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((((triple1) -> (rule6 % int4))) -> (rule9 % int3)) ((triple1) -> (rule6 % int4))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is blue.
True
5
proof
[(((((((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule6)) -> rule9) ((triple1) -> rule6)) -> rule7) triple1) -> rule2)) -> rule5))]
("Bob" "is" "blue" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4)) ((triple1) -> (rule6 % int5))) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is not blue.
False
5
inv-proof
[(((((((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule6)) -> rule9) ((triple1) -> rule6)) -> rule7) triple1) -> rule2)) -> rule5))]
("Bob" "is" "blue" "-")
((((((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4)) ((triple1) -> (rule6 % int5))) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Charlie is round.
True
10
proof
[(((triple2 ((((((((triple3) -> rule1)) -> rule3)) -> rule9) ((((triple3) -> rule1)) -> rule3)) -> rule7)) -> rule4))]
("Charlie" "is" "round" "+")
((triple2 ((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is not round.
False
10
inv-proof
[(((triple2 ((((((((triple3) -> rule1)) -> rule3)) -> rule9) ((((triple3) -> rule1)) -> rule3)) -> rule7)) -> rule4))]
("Charlie" "is" "round" "-")
((triple2 ((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
@0: Bob is round.[(triple1)] Charlie is blue.[(triple2)] Charlie is rough.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5 OR ((((triple6) -> rule9) triple6) -> rule7) OR ((((triple6) -> rule9) ((triple8) -> rule6)) -> rule7) OR ((((((triple8) -> rule6)) -> rule9) triple6) -> rule7) OR ((((triple6) -> rule9) ((((triple7) -> rule1)) -> rule3)) -> rule7) OR ((((((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule7) OR ((((((triple8) -> rule6)) -> rule9) ((((triple7) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule3)) -> rule9) triple6) -> rule7) OR ((((((((triple7) -> rule1)) -> rule3)) -> rule9) ((triple8) -> rule6)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule3)) -> rule9) ((((triple7) -> rule1)) -> rule3)) -> rule7))] Fiona is green.[(triple6 OR ((triple8) -> rule6) OR ((((triple7) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule4)) -> rule6) OR ((((triple5 triple8) -> rule2)) -> rule3) OR ((((triple5 ((triple4 triple5) -> rule4)) -> rule2)) -> rule3))] Fiona is rough.[(triple7 OR ((triple6) -> rule8) OR ((((triple8) -> rule6)) -> rule8) OR ((((((triple4 triple5) -> rule4)) -> rule6)) -> rule8) OR ((((((triple5 triple8) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5 ((triple4 triple5) -> rule4)) -> rule2)) -> rule3)) -> rule8))] Fiona is round.[(triple8 OR ((triple4 triple5) -> rule4) OR ((triple4 ((((triple6) -> rule9) triple6) -> rule7)) -> rule4) OR ((triple4 ((((triple6) -> rule9) ((((triple7) -> rule1)) -> rule3)) -> rule7)) -> rule4) OR ((triple4 ((((((((triple7) -> rule1)) -> rule3)) -> rule9) triple6) -> rule7)) -> rule4) OR ((triple4 ((((((((triple7) -> rule1)) -> rule3)) -> rule9) ((((triple7) -> rule1)) -> rule3)) -> rule7)) -> rule4))] Gary is blue.[(triple9)] Gary is cold.[(triple10 OR ((((((triple11) -> rule3)) -> rule9) ((triple11) -> rule3)) -> rule7))] Gary is smart.[(triple11 OR ((triple10 ((triple9 triple10) -> rule4)) -> rule2) OR ((((((((triple9 triple10) -> rule4)) -> rule6)) -> rule8)) -> rule1))] @1: Bob is green.[(((triple1) -> rule6))] Charlie is smart.[(((triple3) -> rule1))] Fiona is red.[(((triple6) -> rule9) OR ((((triple8) -> rule6)) -> rule9) OR ((((((triple7) -> rule1)) -> rule3)) -> rule9) OR ((((((triple4 triple5) -> rule4)) -> rule6)) -> rule9) OR ((((((triple5 triple8) -> rule2)) -> rule3)) -> rule9) OR ((((((triple5 ((triple4 triple5) -> rule4)) -> rule2)) -> rule3)) -> rule9))] Fiona is smart.[(((triple7) -> rule1) OR ((triple5 triple8) -> rule2) OR ((((triple6) -> rule8)) -> rule1) OR ((triple5 ((triple4 triple5) -> rule4)) -> rule2) OR ((((((triple8) -> rule6)) -> rule8)) -> rule1) OR ((((((triple6) -> rule9) triple6) -> rule7) triple8) -> rule2) OR ((((((triple6) -> rule9) triple6) -> rule7) ((triple4 triple5) -> rule4)) -> rule2) OR ((((((triple6) -> rule9) ((triple8) -> rule6)) -> rule7) triple8) -> rule2) OR ((((((triple6) -> rule9) ((triple8) -> rule6)) -> rule7) ((triple4 triple5) -> rule4)) -> rule2) OR ((((((((triple4 triple5) -> rule4)) -> rule6)) -> rule8)) -> rule1) OR ((triple5 ((triple4 ((((triple6) -> rule9) triple6) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule6)) -> rule9) triple6) -> rule7) triple8) -> rule2) OR ((((((((triple8) -> rule6)) -> rule9) triple6) -> rule7) ((triple4 triple5) -> rule4)) -> rule2) OR ((((((((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule7) triple8) -> rule2) OR ((((((triple6) -> rule9) triple6) -> rule7) ((triple4 ((((triple6) -> rule9) triple6) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule7) ((triple4 triple5) -> rule4)) -> rule2) OR ((((((triple6) -> rule9) ((triple8) -> rule6)) -> rule7) ((triple4 ((((triple6) -> rule9) triple6) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule6)) -> rule9) triple6) -> rule7) ((triple4 ((((triple6) -> rule9) triple6) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule7) ((triple4 ((((triple6) -> rule9) triple6) -> rule7)) -> rule4)) -> rule2))] Gary is green.[(((triple11) -> rule3) OR ((((triple9 triple10) -> rule4)) -> rule6) OR ((((triple10 ((triple9 triple10) -> rule4)) -> rule2)) -> rule3))] Gary is round.[(((triple9 triple10) -> rule4) OR ((triple9 ((((((triple11) -> rule3)) -> rule9) ((triple11) -> rule3)) -> rule7)) -> rule4))] @2: Bob is red.[(((((triple1) -> rule6)) -> rule9))] Bob is rough.[(((((triple1) -> rule6)) -> rule8))] Charlie is green.[(((((triple3) -> rule1)) -> rule3))] Gary is red.[(((((triple11) -> rule3)) -> rule9) OR ((((((triple9 triple10) -> rule4)) -> rule6)) -> rule9) OR ((((((triple10 ((triple9 triple10) -> rule4)) -> rule2)) -> rule3)) -> rule9))] Gary is rough.[(((((triple11) -> rule3)) -> rule8) OR ((((((triple9 triple10) -> rule4)) -> rule6)) -> rule8) OR ((((((triple10 ((triple9 triple10) -> rule4)) -> rule2)) -> rule3)) -> rule8))] @3: Bob is cold.[(((((((triple1) -> rule6)) -> rule9) ((triple1) -> rule6)) -> rule7))] Bob is smart.[(((((((triple1) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule9) ((triple1) -> rule6)) -> rule7) triple1) -> rule2))] Charlie is red.[(((((((triple3) -> rule1)) -> rule3)) -> rule9))] @4: Bob is blue.[(((((((((triple1) -> rule6)) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule6)) -> rule9) ((triple1) -> rule6)) -> rule7) triple1) -> rule2)) -> rule5))] Charlie is cold.[(((((((((triple3) -> rule1)) -> rule3)) -> rule9) ((((triple3) -> rule1)) -> rule3)) -> rule7))] @5: Charlie is round.[(((triple2 ((((((((triple3) -> rule1)) -> rule3)) -> rule9) ((((triple3) -> rule1)) -> rule3)) -> rule7)) -> rule4))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
((((triple6) -> (rule9 % int2)) triple6) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple6) -> (rule9 % int3)) ((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule6 % int3))) -> (rule9 % int2)) triple6) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple6) -> (rule9 % int4)) ((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple8) -> (rule6 % int3))) -> (rule9 % int2)) ((triple8) -> (rule6 % int3))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple8) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple7) -> (rule1 % int2))) -> (rule3 % int4))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple6) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) ((triple8) -> (rule6 % int3))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple8) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple4 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple5 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple5 ((triple4 triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
((triple6) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple5 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple5 ((triple4 triple5) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple8
((triple4 triple5) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple4 ((((triple6) -> (rule9 % int3)) triple6) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple4 ((((triple6) -> (rule9 % int5)) ((((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((triple4 ((((((((triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) triple6) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((triple4 ((((((((triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
((((((triple11) -> (rule3 % int3))) -> (rule9 % int2)) ((triple11) -> (rule3 % int3))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
triple11
((triple10 ((triple9 triple10) -> (rule4 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((((((triple9 triple10) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple6) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple5 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple5 ((triple4 triple5) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple5 triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple6) -> (rule9 % int3)) triple6) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple6) -> (rule9 % int4)) triple6) -> (rule7 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple6) -> (rule9 % int4)) ((triple8) -> (rule6 % int3))) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple6) -> (rule9 % int5)) ((triple8) -> (rule6 % int4))) -> (rule7 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple4 triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple5 ((triple4 ((((triple6) -> (rule9 % int4)) triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple8) -> (rule6 % int4))) -> (rule9 % int3)) triple6) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple8) -> (rule6 % int5))) -> (rule9 % int4)) triple6) -> (rule7 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((triple8) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int4))) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple6) -> (rule9 % int4)) triple6) -> (rule7 % int3)) ((triple4 ((((triple6) -> (rule9 % int4)) triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple8) -> (rule6 % int5))) -> (rule9 % int4)) ((triple8) -> (rule6 % int5))) -> (rule7 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple6) -> (rule9 % int5)) ((triple8) -> (rule6 % int4))) -> (rule7 % int3)) ((triple4 ((((triple6) -> (rule9 % int5)) triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple8) -> (rule6 % int5))) -> (rule9 % int4)) triple6) -> (rule7 % int3)) ((triple4 ((((triple6) -> (rule9 % int4)) triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((triple8) -> (rule6 % int5))) -> (rule9 % int4)) ((triple8) -> (rule6 % int5))) -> (rule7 % int3)) ((triple4 ((((triple6) -> (rule9 % int4)) triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
((triple11) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple9 triple10) -> (rule4 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple10 ((triple9 triple10) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple9 triple10) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple9 ((((((triple11) -> (rule3 % int4))) -> (rule9 % int3)) ((triple11) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((triple1) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple11) -> (rule3 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple9 triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple10 ((triple9 triple10) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((((triple11) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple9 triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple10 ((triple9 triple10) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple1) -> (rule6 % int3))) -> (rule9 % int2)) ((triple1) -> (rule6 % int3))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((((triple1) -> (rule6 % int4))) -> (rule9 % int3)) ((triple1) -> (rule6 % int4))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((((triple1) -> (rule6 % int5))) -> (rule9 % int4)) ((triple1) -> (rule6 % int5))) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((triple2 ((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5