Charlie is blue. Charlie is cold. Charlie is red. Erin is cold. Erin is rough. Erin is round. Erin is white. Fiona is blue. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Harry is blue. Harry is cold. Harry is green. Harry is round. All cold, round things are rough. All red things are round. All blue things are red. Red, blue things are white. All red, round things are rough. If something is white and cold then it is rough. If something is red then it is round. If something is cold and red then it is rough.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
All cold, round things are rough.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Red, blue things are white.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All red, round things are rough.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is white and cold then it is rough.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is cold and red then it is rough.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Harry is cold.
True
1
proof
[(triple14)]
("Harry" "is" "cold" "+")
triple14
Charlie is not red.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule3))]
("Charlie" "is" "red" "-")
triple3
((triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
True
3
proof
[(((triple2 triple3) -> rule8) OR ((triple2 ((triple1) -> rule3)) -> rule8) OR ((triple2 ((triple3) -> rule2)) -> rule1) OR ((triple2 ((triple3) -> rule7)) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple3) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule4) triple2) -> rule6) OR ((((triple1) -> rule3) ((triple3) -> rule2)) -> rule5) OR ((((triple1) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((triple2 ((((triple1) -> rule3)) -> rule2)) -> rule1) OR ((triple2 ((((triple1) -> rule3)) -> rule7)) -> rule1) OR ((triple3 ((((triple1) -> rule3)) -> rule2)) -> rule5) OR ((triple3 ((((triple1) -> rule3)) -> rule7)) -> rule5) OR ((((((triple1) -> rule3) triple1) -> rule4) triple2) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule7)) -> rule5))]
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple2 ((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple2 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple2 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple3 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 triple1) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple2 ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple2 ((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple3 ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple3 ((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Harry is not red.
False
2
inv-proof
[(((triple13) -> rule3))]
("Harry" "is" "red" "-")
((triple13) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
True
4
proof
[(((((triple13) -> rule3) triple13) -> rule4))]
("Harry" "is" "white" "+")
((((triple13) -> (rule3 % int2)) triple13) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not white.
False
4
inv-proof
[(((((triple13) -> rule3) triple13) -> rule4))]
("Harry" "is" "white" "-")
((((triple13) -> (rule3 % int2)) triple13) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3 OR ((triple1) -> rule3))] Erin is cold.[(triple4)] Erin is rough.[(triple5 OR ((triple4 triple6) -> rule1) OR ((triple7 triple4) -> rule6))] Erin is round.[(triple6)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is red.[(triple9 OR ((triple8) -> rule3))] Fiona is rough.[(triple10 OR ((triple9 triple11) -> rule5) OR ((triple9 ((triple9) -> rule2)) -> rule5) OR ((triple9 ((triple9) -> rule7)) -> rule5) OR ((((triple8) -> rule3) triple11) -> rule5) OR ((((triple8) -> rule3) ((triple9) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((triple9) -> rule7)) -> rule5) OR ((triple9 ((((triple8) -> rule3)) -> rule2)) -> rule5) OR ((triple9 ((((triple8) -> rule3)) -> rule7)) -> rule5) OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule7)) -> rule5))] Fiona is round.[(triple11 OR ((triple9) -> rule2) OR ((triple9) -> rule7) OR ((((triple8) -> rule3)) -> rule2) OR ((((triple8) -> rule3)) -> rule7))] Fiona is white.[(triple12 OR ((triple9 triple8) -> rule4) OR ((((triple8) -> rule3) triple8) -> rule4))] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is round.[(triple16 OR ((((triple13) -> rule3)) -> rule2) OR ((((triple13) -> rule3)) -> rule7))] @1: Charlie is rough.[(((triple2 triple3) -> rule8) OR ((triple2 ((triple1) -> rule3)) -> rule8) OR ((triple2 ((triple3) -> rule2)) -> rule1) OR ((triple2 ((triple3) -> rule7)) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple3) -> rule7)) -> rule5) OR ((((triple3 triple1) -> rule4) triple2) -> rule6) OR ((((triple1) -> rule3) ((triple3) -> rule2)) -> rule5) OR ((((triple1) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((triple2 ((((triple1) -> rule3)) -> rule2)) -> rule1) OR ((triple2 ((((triple1) -> rule3)) -> rule7)) -> rule1) OR ((triple3 ((((triple1) -> rule3)) -> rule2)) -> rule5) OR ((triple3 ((((triple1) -> rule3)) -> rule7)) -> rule5) OR ((((((triple1) -> rule3) triple1) -> rule4) triple2) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule7)) -> rule5))] Charlie is round.[(((triple3) -> rule2) OR ((triple3) -> rule7) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule3)) -> rule7))] Charlie is white.[(((triple3 triple1) -> rule4) OR ((((triple1) -> rule3) triple1) -> rule4))] Harry is red.[(((triple13) -> rule3))] Harry is rough.[(((triple14 triple16) -> rule1) OR ((triple14 ((triple13) -> rule3)) -> rule8) OR ((((triple13) -> rule3) triple16) -> rule5) OR ((triple14 ((((triple13) -> rule3)) -> rule2)) -> rule1) OR ((triple14 ((((triple13) -> rule3)) -> rule7)) -> rule1) OR ((((((triple13) -> rule3) triple13) -> rule4) triple14) -> rule6) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule2)) -> rule5) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule7)) -> rule5))] @2: Harry is white.[(((((triple13) -> rule3) triple13) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
((triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
((triple4 triple6) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple7 triple4) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
((triple8) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple9 triple11) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple9 ((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple9 ((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple8) -> (rule3 % int2)) triple11) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8) -> (rule3 % int3)) ((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple9 ((((triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple9 ((((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8) -> (rule3 % int3)) ((((triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple8) -> (rule3 % int3)) ((((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple11
((triple9) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple9) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple9 triple8) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple8) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
((((triple13) -> (rule3 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple2 ((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple2 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple2 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple3 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 triple1) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple2 ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple2 ((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple3 ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple3 ((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((triple3 triple1) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple13) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple14 triple16) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple14 ((triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple13) -> (rule3 % int2)) triple16) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple14 ((((triple13) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple14 ((((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13) -> (rule3 % int3)) triple13) -> (rule4 % int2)) triple14) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((((triple13) -> (rule3 % int2)) triple13) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2