Charlie is big. Charlie is blue. Charlie is red. Fiona is furry. Gary is big. Gary is furry. Gary is red. Gary is smart. Harry is cold. Harry is round. If Harry is blue and Harry is big then Harry is furry. Blue, smart things are furry. All red things are furry. Cold, blue things are furry. Furry, round things are blue. If something is blue and red then it is smart. Cold things are big. If something is big then it is red. If something is smart and furry then it is round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is blue and Harry is big then Harry is furry.
((("Harry" "is" "blue" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "furry" "+"))
Blue, smart things are furry.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Cold, blue things are furry.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Furry, round things are blue.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is blue and red then it is smart.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
Cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is smart and furry then it is round.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Charlie is red.
True
1
proof
[(triple3 OR ((triple1) -> rule8))]
("Charlie" "is" "red" "+")
triple3
((triple1) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Harry is big.
True
2
proof
[(((triple9) -> rule7))]
("Harry" "is" "big" "+")
((triple9) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple3) -> rule3) OR ((((triple1) -> rule8)) -> rule3) OR ((triple2 ((triple2 triple3) -> rule6)) -> rule2) OR ((triple2 ((triple2 ((triple1) -> rule8)) -> rule6)) -> rule2))]
("Charlie" "is" "furry" "-")
((triple3) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple2 ((triple2 triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple2 ((triple2 ((triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
True
6
proof
[(((((triple2 triple3) -> rule6) ((triple3) -> rule3)) -> rule9) OR ((((triple2 triple3) -> rule6) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((triple2 triple3) -> rule6) ((triple2 ((triple2 triple3) -> rule6)) -> rule2)) -> rule9) OR ((((triple2 ((triple1) -> rule8)) -> rule6) ((triple3) -> rule3)) -> rule9) OR ((((triple2 ((triple1) -> rule8)) -> rule6) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((triple2 ((triple1) -> rule8)) -> rule6) ((triple2 ((triple2 triple3) -> rule6)) -> rule2)) -> rule9) OR ((((triple2 triple3) -> rule6) ((triple2 ((triple2 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule9) OR ((((triple2 ((triple1) -> rule8)) -> rule6) ((triple2 ((triple2 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule9))]
("Charlie" "is" "round" "+")
((((triple2 triple3) -> (rule6 % int3)) ((triple3) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple2 triple3) -> (rule6 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple2 triple3) -> (rule6 % int3)) ((triple2 ((triple2 triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((triple3) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2 triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple2 triple3) -> (rule6 % int4)) ((triple2 ((triple2 ((triple1) -> (rule8 % int3))) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Harry is not red.
False
3
inv-proof
[(((((triple9) -> rule7)) -> rule8))]
("Harry" "is" "red" "-")
((((triple9) -> (rule7 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
True
4
proof
[(((((((triple9) -> rule7)) -> rule8)) -> rule3))]
("Harry" "is" "furry" "+")
((((((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not furry.
False
4
inv-proof
[(((((((triple9) -> rule7)) -> rule8)) -> rule3))]
("Harry" "is" "furry" "-")
((((((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
True
6
proof
[(((((((((triple9) -> rule7)) -> rule8)) -> rule3) triple10) -> rule5))]
("Harry" "is" "blue" "+")
((((((((triple9) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is not blue.
False
6
inv-proof
[(((((((((triple9) -> rule7)) -> rule8)) -> rule3) triple10) -> rule5))]
("Harry" "is" "blue" "-")
((((((((triple9) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
True
10
proof
[(((((((((((triple9) -> rule7)) -> rule8)) -> rule3) triple10) -> rule5) ((((triple9) -> rule7)) -> rule8)) -> rule6))]
("Harry" "is" "smart" "+")
((((((((((triple9) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) triple10) -> (rule5 % int2)) ((((triple9) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is not smart.
False
10
inv-proof
[(((((((((((triple9) -> rule7)) -> rule8)) -> rule3) triple10) -> rule5) ((((triple9) -> rule7)) -> rule8)) -> rule6))]
("Harry" "is" "smart" "-")
((((((((((triple9) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) triple10) -> (rule5 % int2)) ((((triple9) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Fiona is not red.
Unknown
inv-rconc
[@2: Fiona is red.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is smart.
Unknown
rconc
[@3: Fiona is smart.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule9 <- FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not blue.
Unknown
inv-rconc
[@3: Fiona is blue.[CWA. Example of deepest failure = (rule5 <- rule9 <- rule6 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is big.
Unknown
rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not round.
Unknown
inv-rconc
[@3: Fiona is round.[CWA. Example of deepest failure = (rule9 <- rule6 <- rule5 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is red.[(triple3 OR ((triple1) -> rule8))] Fiona is furry.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6 OR ((triple7) -> rule3) OR ((((triple5) -> rule8)) -> rule3))] Gary is red.[(triple7 OR ((triple5) -> rule8))] Gary is smart.[(triple8)] Harry is cold.[(triple9)] Harry is round.[(triple10)] @1: Charlie is furry.[(((triple3) -> rule3) OR ((((triple1) -> rule8)) -> rule3) OR ((triple2 ((triple2 triple3) -> rule6)) -> rule2) OR ((triple2 ((triple2 ((triple1) -> rule8)) -> rule6)) -> rule2))] Charlie is smart.[(((triple2 triple3) -> rule6) OR ((triple2 ((triple1) -> rule8)) -> rule6))] Gary is round.[(((triple8 triple6) -> rule9) OR ((triple8 ((triple7) -> rule3)) -> rule9) OR ((triple8 ((((triple5) -> rule8)) -> rule3)) -> rule9))] Harry is big.[(((triple9) -> rule7))] @2: Charlie is round.[(((((triple2 triple3) -> rule6) ((triple3) -> rule3)) -> rule9) OR ((((triple2 triple3) -> rule6) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((triple2 triple3) -> rule6) ((triple2 ((triple2 triple3) -> rule6)) -> rule2)) -> rule9) OR ((((triple2 ((triple1) -> rule8)) -> rule6) ((triple3) -> rule3)) -> rule9) OR ((((triple2 ((triple1) -> rule8)) -> rule6) ((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((triple2 ((triple1) -> rule8)) -> rule6) ((triple2 ((triple2 triple3) -> rule6)) -> rule2)) -> rule9) OR ((((triple2 triple3) -> rule6) ((triple2 ((triple2 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule9) OR ((((triple2 ((triple1) -> rule8)) -> rule6) ((triple2 ((triple2 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule9))] Gary is blue.[(((triple6 ((triple8 triple6) -> rule9)) -> rule5) OR ((((triple7) -> rule3) ((triple8 triple6) -> rule9)) -> rule5) OR ((triple6 ((triple8 ((triple7) -> rule3)) -> rule9)) -> rule5) OR ((((triple7) -> rule3) ((triple8 ((triple7) -> rule3)) -> rule9)) -> rule5) OR ((((((triple5) -> rule8)) -> rule3) ((triple8 triple6) -> rule9)) -> rule5) OR ((((((triple5) -> rule8)) -> rule3) ((triple8 ((triple7) -> rule3)) -> rule9)) -> rule5) OR ((triple6 ((triple8 ((((triple5) -> rule8)) -> rule3)) -> rule9)) -> rule5) OR ((((triple7) -> rule3) ((triple8 ((((triple5) -> rule8)) -> rule3)) -> rule9)) -> rule5) OR ((((((triple5) -> rule8)) -> rule3) ((triple8 ((((triple5) -> rule8)) -> rule3)) -> rule9)) -> rule5))] Harry is red.[(((((triple9) -> rule7)) -> rule8))] @3: Harry is furry.[(((((((triple9) -> rule7)) -> rule8)) -> rule3))] @4: Harry is blue.[(((((((((triple9) -> rule7)) -> rule8)) -> rule3) triple10) -> rule5))] @5: Harry is smart.[(((((((((((triple9) -> rule7)) -> rule8)) -> rule3) triple10) -> rule5) ((((triple9) -> rule7)) -> rule8)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
((triple1) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
((triple7) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple7
((triple5) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple2 ((triple2 triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple2 ((triple2 ((triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple2 triple3) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple2 ((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple8 triple6) -> (rule9 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple8 ((triple7) -> (rule3 % int2))) -> (rule9 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple8 ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((triple9) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2 triple3) -> (rule6 % int3)) ((triple3) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple2 triple3) -> (rule6 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple2 triple3) -> (rule6 % int3)) ((triple2 ((triple2 triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((triple3) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2 triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple2 triple3) -> (rule6 % int4)) ((triple2 ((triple2 ((triple1) -> (rule8 % int3))) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2 ((triple1) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((triple6 ((triple8 triple6) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple8 triple6) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple6 ((triple8 ((triple7) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple7) -> (rule3 % int3)) ((triple8 ((triple7) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((triple8 triple6) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((triple8 ((triple7) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple6 ((triple8 ((((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7) -> (rule3 % int4)) ((triple8 ((((triple5) -> (rule8 % int3))) -> (rule3 % int4))) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((triple8 ((((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((triple9) -> (rule7 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((((((triple9) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((((((((((triple9) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) triple10) -> (rule5 % int2)) ((((triple9) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5