Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is white. Bob is young. Fiona is white. Gary is cold. Gary is kind. Gary is quiet. Gary is white. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is young. If someone is kind then they are cold. If someone is young and cold then they are kind. White people are kind. If someone is young then they are white. If Fiona is cold and Fiona is white then Fiona is green. All young, kind people are quiet. If someone is green then they are young. If someone is quiet then they are young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Fiona is cold and Fiona is white then Fiona is green.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "green" "+"))
All young, kind people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Harry is quiet.
True
1
proof
[(triple14 OR ((triple16 ((triple16 triple12) -> rule2)) -> rule6) OR ((((triple13) -> rule7) ((triple16 triple12) -> rule2)) -> rule6) OR ((triple16 ((((triple16) -> rule4)) -> rule3)) -> rule6) OR ((triple16 ((((triple13) -> rule7) triple12) -> rule2)) -> rule6) OR ((((triple13) -> rule7) ((((triple16) -> rule4)) -> rule3)) -> rule6) OR ((((triple13) -> rule7) ((((triple13) -> rule7) triple12) -> rule2)) -> rule6) OR ((triple16 ((((((triple13) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple13) -> rule7) ((((((triple13) -> rule7)) -> rule4)) -> rule3)) -> rule6))]
("Harry" "is" "quiet" "+")
triple14
((triple16 ((triple16 triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13) -> (rule7 % int3)) ((triple16 triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple16 ((((triple16) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple16 ((((triple13) -> (rule7 % int3)) triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple13) -> (rule7 % int4)) ((((triple16) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple13) -> (rule7 % int3)) ((((triple13) -> (rule7 % int3)) triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple16 ((((((triple13) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple13) -> (rule7 % int4)) ((((((triple13) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob is not cold.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple6) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple4) -> rule8)) -> rule4)) -> rule3)) -> rule1))]
("Bob" "is" "cold" "-")
triple1
((triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple4) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Harry is kind.
True
3
proof
[(((triple16 triple12) -> rule2) OR ((((triple16) -> rule4)) -> rule3) OR ((((triple13) -> rule7) triple12) -> rule2) OR ((((triple14) -> rule8) triple12) -> rule2) OR ((((((triple13) -> rule7)) -> rule4)) -> rule3) OR ((((((triple14) -> rule8)) -> rule4)) -> rule3))]
("Harry" "is" "kind" "+")
((triple16 triple12) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple16) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple13) -> (rule7 % int2)) triple12) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple14) -> (rule8 % int2)) triple12) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple13) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple14) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Fiona is not kind.
False
2
inv-proof
[(((triple7) -> rule3))]
("Fiona" "is" "kind" "-")
((triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple7) -> rule3)) -> rule1))]
("Fiona" "is" "cold" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not cold.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule1))]
("Fiona" "is" "cold" "-")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
True
5
proof
[(((((((triple7) -> rule3)) -> rule1) triple7) -> rule5))]
("Fiona" "is" "green" "+")
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not green.
False
5
inv-proof
[(((((((triple7) -> rule3)) -> rule1) triple7) -> rule5))]
("Fiona" "is" "green" "-")
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
True
6
proof
[(((((((((triple7) -> rule3)) -> rule1) triple7) -> rule5)) -> rule7))]
("Fiona" "is" "young" "+")
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is not young.
False
6
inv-proof
[(((((((((triple7) -> rule3)) -> rule1) triple7) -> rule5)) -> rule7))]
("Fiona" "is" "young" "-")
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
True
9
proof
[(((((((((((triple7) -> rule3)) -> rule1) triple7) -> rule5)) -> rule7) ((triple7) -> rule3)) -> rule6))]
("Fiona" "is" "quiet" "+")
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule7 % int2)) ((triple7) -> (rule3 % int5))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is not quiet.
False
9
inv-proof
[(((((((((((triple7) -> rule3)) -> rule1) triple7) -> rule5)) -> rule7) ((triple7) -> rule3)) -> rule6))]
("Fiona" "is" "quiet" "-")
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule7 % int2)) ((triple7) -> (rule3 % int5))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is cold.[(triple1 OR ((triple3) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple6) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple4) -> rule8)) -> rule4)) -> rule3)) -> rule1))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple5) -> rule3) OR ((triple6 triple1) -> rule2) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple2) -> rule7) triple1) -> rule2) OR ((((triple4) -> rule8) triple1) -> rule2) OR ((((((triple2) -> rule7)) -> rule4)) -> rule3) OR ((((((triple4) -> rule8)) -> rule4)) -> rule3))] Bob is quiet.[(triple4 OR ((triple6 triple3) -> rule6) OR ((triple6 ((triple5) -> rule3)) -> rule6) OR ((triple6 ((triple6 triple1) -> rule2)) -> rule6) OR ((((triple2) -> rule7) triple3) -> rule6) OR ((((triple2) -> rule7) ((triple5) -> rule3)) -> rule6) OR ((((triple2) -> rule7) ((triple6 triple1) -> rule2)) -> rule6) OR ((triple6 ((((triple6) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((((triple2) -> rule7) triple1) -> rule2)) -> rule6) OR ((((triple2) -> rule7) ((((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple1) -> rule2)) -> rule6) OR ((triple6 ((((((triple2) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule4)) -> rule3)) -> rule6))] Bob is white.[(triple5 OR ((triple6) -> rule4) OR ((((triple2) -> rule7)) -> rule4) OR ((((triple4) -> rule8)) -> rule4))] Bob is young.[(triple6 OR ((triple2) -> rule7) OR ((triple4) -> rule8))] Fiona is white.[(triple7)] Gary is cold.[(triple8 OR ((triple9) -> rule1) OR ((((triple11) -> rule3)) -> rule1) OR ((((((((triple10) -> rule8)) -> rule4)) -> rule3)) -> rule1))] Gary is kind.[(triple9 OR ((triple11) -> rule3) OR ((((triple10) -> rule8) triple8) -> rule2) OR ((((((triple10) -> rule8)) -> rule4)) -> rule3))] Gary is quiet.[(triple10)] Gary is white.[(triple11 OR ((((triple10) -> rule8)) -> rule4))] Harry is cold.[(triple12 OR ((((((triple16) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple13) -> rule7)) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple14) -> rule8)) -> rule4)) -> rule3)) -> rule1))] Harry is green.[(triple13)] Harry is quiet.[(triple14 OR ((triple16 ((triple16 triple12) -> rule2)) -> rule6) OR ((((triple13) -> rule7) ((triple16 triple12) -> rule2)) -> rule6) OR ((triple16 ((((triple16) -> rule4)) -> rule3)) -> rule6) OR ((triple16 ((((triple13) -> rule7) triple12) -> rule2)) -> rule6) OR ((((triple13) -> rule7) ((((triple16) -> rule4)) -> rule3)) -> rule6) OR ((((triple13) -> rule7) ((((triple13) -> rule7) triple12) -> rule2)) -> rule6) OR ((triple16 ((((((triple13) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple13) -> rule7) ((((((triple13) -> rule7)) -> rule4)) -> rule3)) -> rule6))] Harry is rough.[(triple15)] Harry is young.[(triple16 OR ((triple13) -> rule7) OR ((triple14) -> rule8))] @1: Fiona is kind.[(((triple7) -> rule3))] Gary is young.[(((triple10) -> rule8))] Harry is kind.[(((triple16 triple12) -> rule2) OR ((((triple16) -> rule4)) -> rule3) OR ((((triple13) -> rule7) triple12) -> rule2) OR ((((triple14) -> rule8) triple12) -> rule2) OR ((((((triple13) -> rule7)) -> rule4)) -> rule3) OR ((((((triple14) -> rule8)) -> rule4)) -> rule3))] Harry is white.[(((triple16) -> rule4) OR ((((triple13) -> rule7)) -> rule4) OR ((((triple14) -> rule8)) -> rule4))] @2: Fiona is cold.[(((((triple7) -> rule3)) -> rule1))] @3: Fiona is green.[(((((((triple7) -> rule3)) -> rule1) triple7) -> rule5))] @4: Fiona is young.[(((((((((triple7) -> rule3)) -> rule1) triple7) -> rule5)) -> rule7))] @5: Fiona is quiet.[(((((((((((triple7) -> rule3)) -> rule1) triple7) -> rule5)) -> rule7) ((triple7) -> rule3)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple4) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple6 triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple2) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple4) -> (rule8 % int2)) triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple6 triple3) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple6 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple6 ((triple6 triple1) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple6 triple1) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple6 ((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple6 ((((triple2) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple2) -> (rule7 % int4)) ((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple6 ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule7 % int4)) ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
triple5
((triple6) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple2) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple4) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple9
((triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple10) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
((((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((((((triple16) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((((triple13) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((((triple14) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple16 ((triple16 triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13) -> (rule7 % int3)) ((triple16 triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple16 ((((triple16) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple16 ((((triple13) -> (rule7 % int3)) triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple13) -> (rule7 % int4)) ((((triple16) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple13) -> (rule7 % int3)) ((((triple13) -> (rule7 % int3)) triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple16 ((((((triple13) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple13) -> (rule7 % int4)) ((((((triple13) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple13) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple14) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple16 triple12) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple16) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple13) -> (rule7 % int2)) triple12) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple14) -> (rule8 % int2)) triple12) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple13) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple14) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((triple16) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple13) -> (rule7 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple14) -> (rule8 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule7 % int2)) ((triple7) -> (rule3 % int5))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5