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