Charlie is blue. Charlie is cold. Charlie is red. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Harry is blue. Harry is cold. Harry is quiet. Harry is red. Harry is smart. Furry things are round. Round things are quiet. All cold things are furry. If something is blue and smart then it is cold. If something is blue then it is red. Round, quiet things are red.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
All cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is blue and smart then it is cold.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Round, quiet things are red.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Harry is furry.
True
2
proof
[(((triple12) -> rule3) OR ((((triple11 triple15) -> rule4)) -> rule3))]
("Harry" "is" "furry" "+")
((triple12) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple11 triple15) -> (rule4 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Charlie is not furry.
False
2
inv-proof
[(((triple2) -> rule3))]
("Charlie" "is" "furry" "-")
((triple2) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Harry is round.
True
3
proof
[(((((triple12) -> rule3)) -> rule1) OR ((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1))]
("Harry" "is" "round" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple11 triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not round.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule1) OR ((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1))]
("Harry" "is" "round" "-")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple11 triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Charlie is quiet.
True
4
proof
[(((((((triple2) -> rule3)) -> rule1)) -> rule2))]
("Charlie" "is" "quiet" "+")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is not quiet.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule1)) -> rule2))]
("Charlie" "is" "quiet" "-")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3 OR ((triple1) -> rule5) OR ((((((triple2) -> rule3)) -> rule1) ((((((triple2) -> rule3)) -> rule1)) -> rule2)) -> rule6))] Fiona is blue.[(triple4)] Fiona is cold.[(triple5 OR ((triple4 triple10) -> rule4))] Fiona is furry.[(triple6 OR ((triple5) -> rule3) OR ((((triple4 triple10) -> rule4)) -> rule3))] Fiona is quiet.[(triple7 OR ((triple9) -> rule2) OR ((((triple6) -> rule1)) -> rule2) OR ((((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2))] Fiona is red.[(triple8 OR ((triple4) -> rule5) OR ((triple9 triple7) -> rule6) OR ((triple9 ((triple9) -> rule2)) -> rule6) OR ((((triple6) -> rule1) triple7) -> rule6) OR ((((triple6) -> rule1) ((triple9) -> rule2)) -> rule6) OR ((triple9 ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) triple7) -> rule6) OR ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((triple9) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((triple9 ((((((triple5) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) triple7) -> rule6) OR ((((triple6) -> rule1) ((((((triple5) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) ((triple9) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((((((triple5) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) ((((((triple5) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((triple9 ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6))] Fiona is round.[(triple9 OR ((triple6) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1))] Fiona is smart.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12 OR ((triple11 triple15) -> rule4))] Harry is quiet.[(triple13 OR ((((((triple12) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1)) -> rule2))] Harry is red.[(triple14 OR ((triple11) -> rule5) OR ((((((triple12) -> rule3)) -> rule1) triple13) -> rule6) OR ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1) triple13) -> rule6) OR ((((((triple12) -> rule3)) -> rule1) ((((((triple12) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1) ((((((triple12) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple12) -> rule3)) -> rule1) ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1) ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6))] Harry is smart.[(triple15)] @1: Charlie is furry.[(((triple2) -> rule3))] Harry is furry.[(((triple12) -> rule3) OR ((((triple11 triple15) -> rule4)) -> rule3))] @2: Charlie is round.[(((((triple2) -> rule3)) -> rule1))] Harry is round.[(((((triple12) -> rule3)) -> rule1) OR ((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1))] @3: Charlie is quiet.[(((((((triple2) -> rule3)) -> rule1)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
((triple1) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((((triple2) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
((triple4 triple10) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple5) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple4 triple10) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
((triple9) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((((triple4 triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple4) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple9 triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple9 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple6) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple9 ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple5) -> (rule3 % int4))) -> (rule1 % int3)) ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple9 ((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple4 triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple6) -> (rule1 % int4)) ((((((triple5) -> (rule3 % int3))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple4 triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple5) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple4 triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((triple4 triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((triple9 ((((((((triple4 triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6) -> (rule1 % int5)) ((((((((triple4 triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple5) -> (rule3 % int5))) -> (rule1 % int4)) ((((((((triple4 triple10) -> (rule4 % int3))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((triple4 triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((triple4 triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple6) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple4 triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((triple11 triple15) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((((triple11 triple15) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
triple14
((triple11) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2)) triple13) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((((triple11 triple15) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple13) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple12) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((((triple11 triple15) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12) -> (rule3 % int5))) -> (rule1 % int4)) ((((((((triple11 triple15) -> (rule4 % int3))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((((triple11 triple15) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((triple11 triple15) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple12) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple11 triple15) -> (rule4 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple11 triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3