Bob is blue. Bob is nice. Bob is white. Bob is young. Erin is blue. Erin is nice. Erin is quiet. Erin is red. Erin is white. Gary is blue. Gary is quiet. Gary is red. Gary is rough. Gary is white. Gary is young. White things are quiet. If Bob is young and Bob is red then Bob is rough. Young things are quiet. Quiet things are red. If something is nice then it is young. All nice, blue things are white. If something is quiet and rough then it is nice. If Gary is red then Gary is blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
White things are quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If Bob is young and Bob is red then Bob is rough.
((("Bob" "is" "young" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "rough" "+"))
Young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Quiet things are red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
All nice, blue things are white.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If something is quiet and rough then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If Gary is red then Gary is blue.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "blue" "+"))
Gary is white.
True
1
proof
[(triple14 OR ((((triple11 triple13) -> rule7) triple10) -> rule6) OR ((((triple11 triple13) -> rule7) ((triple12) -> rule8)) -> rule6) OR ((((((triple15) -> rule3) triple13) -> rule7) triple10) -> rule6) OR ((((triple11 triple13) -> rule7) ((((triple11) -> rule4)) -> rule8)) -> rule6) OR ((((((triple15) -> rule3) triple13) -> rule7) ((triple12) -> rule8)) -> rule6) OR ((((((triple15) -> rule3) triple13) -> rule7) ((((triple11) -> rule4)) -> rule8)) -> rule6) OR ((((triple11 triple13) -> rule7) ((((((triple15) -> rule3)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple15) -> rule3) triple13) -> rule7) ((((((triple15) -> rule3)) -> rule4)) -> rule8)) -> rule6))]
("Gary" "is" "white" "+")
triple14
((((triple11 triple13) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple11 triple13) -> (rule7 % int3)) ((triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple15) -> (rule3 % int3)) triple13) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple11 triple13) -> (rule7 % int4)) ((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple15) -> (rule3 % int4)) triple13) -> (rule7 % int3)) ((triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple15) -> (rule3 % int5)) triple13) -> (rule7 % int4)) ((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple11 triple13) -> (rule7 % int5)) ((((((triple15) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple15) -> (rule3 % int5)) triple13) -> (rule7 % int4)) ((((((triple15) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is not young.
False
1
inv-proof
[(triple15 OR ((((triple11 triple13) -> rule7)) -> rule5) OR ((((((triple14) -> rule1) triple13) -> rule7)) -> rule5))]
("Gary" "is" "young" "-")
triple15
((((triple11 triple13) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple14) -> (rule1 % int3)) triple13) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Bob is quiet.
True
2
proof
[(((triple3) -> rule1) OR ((triple4) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2 triple1) -> rule6)) -> rule1))]
("Bob" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple4) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Gary is not nice.
False
3
inv-proof
[(((triple11 triple13) -> rule7) OR ((((triple14) -> rule1) triple13) -> rule7) OR ((((triple15) -> rule3) triple13) -> rule7))]
("Gary" "is" "nice" "-")
((triple11 triple13) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple14) -> (rule1 % int2)) triple13) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple15) -> (rule3 % int2)) triple13) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Bob is red.
True
3
proof
[(((((triple3) -> rule1)) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule5)) -> rule3)) -> rule4) OR ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4))]
("Bob" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2 triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is not red.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule5)) -> rule3)) -> rule4) OR ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4))]
("Bob" "is" "red" "-")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2 triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is rough.
True
5
proof
[(((triple4 ((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((triple4 ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((triple4 ((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((triple4 ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4)) -> rule2))]
("Bob" "is" "rough" "+")
((triple4 ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple4 ((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule5 % int4)) ((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple4 ((((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple4 ((((((triple2 triple1) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple2) -> (rule5 % int4)) ((((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule5 % int5)) ((((((triple2 triple1) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is not rough.
False
5
inv-proof
[(((triple4 ((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((triple4 ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((triple4 ((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((triple4 ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4)) -> rule2))]
("Bob" "is" "rough" "-")
((triple4 ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple4 ((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule5 % int4)) ((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple4 ((((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple4 ((((((triple2 triple1) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple2) -> (rule5 % int4)) ((((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule5 % int5)) ((((((triple2 triple1) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2 OR ((((triple3) -> rule1) ((triple4 ((((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule7) OR ((((triple3) -> rule1) ((triple4 ((((triple4) -> rule3)) -> rule4)) -> rule2)) -> rule7) OR ((((triple4) -> rule3) ((triple4 ((((triple3) -> rule1)) -> rule4)) -> rule2)) -> rule7) OR ((((triple4) -> rule3) ((triple4 ((((triple4) -> rule3)) -> rule4)) -> rule2)) -> rule7))] Bob is white.[(triple3 OR ((triple2 triple1) -> rule6) OR ((((((triple4) -> rule3) ((triple4 ((((triple4) -> rule3)) -> rule4)) -> rule2)) -> rule7) triple1) -> rule6))] Bob is young.[(triple4 OR ((triple2) -> rule5))] Erin is blue.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7 OR ((triple9) -> rule1) OR ((((triple6) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule6)) -> rule1))] Erin is red.[(triple8 OR ((triple7) -> rule4) OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((((triple6 triple5) -> rule6)) -> rule1)) -> rule4))] Erin is white.[(triple9 OR ((triple6 triple5) -> rule6))] Gary is blue.[(triple10 OR ((triple12) -> rule8) OR ((((triple11) -> rule4)) -> rule8) OR ((((((triple14) -> rule1)) -> rule4)) -> rule8) OR ((((((triple15) -> rule3)) -> rule4)) -> rule8))] Gary is quiet.[(triple11 OR ((triple14) -> rule1) OR ((triple15) -> rule3))] Gary is red.[(triple12 OR ((triple11) -> rule4) OR ((((triple14) -> rule1)) -> rule4) OR ((((triple15) -> rule3)) -> rule4))] Gary is rough.[(triple13)] Gary is white.[(triple14 OR ((((triple11 triple13) -> rule7) triple10) -> rule6) OR ((((triple11 triple13) -> rule7) ((triple12) -> rule8)) -> rule6) OR ((((((triple15) -> rule3) triple13) -> rule7) triple10) -> rule6) OR ((((triple11 triple13) -> rule7) ((((triple11) -> rule4)) -> rule8)) -> rule6) OR ((((((triple15) -> rule3) triple13) -> rule7) ((triple12) -> rule8)) -> rule6) OR ((((((triple15) -> rule3) triple13) -> rule7) ((((triple11) -> rule4)) -> rule8)) -> rule6) OR ((((triple11 triple13) -> rule7) ((((((triple15) -> rule3)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple15) -> rule3) triple13) -> rule7) ((((((triple15) -> rule3)) -> rule4)) -> rule8)) -> rule6))] Gary is young.[(triple15 OR ((((triple11 triple13) -> rule7)) -> rule5) OR ((((((triple14) -> rule1) triple13) -> rule7)) -> rule5))] @1: Bob is quiet.[(((triple3) -> rule1) OR ((triple4) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2 triple1) -> rule6)) -> rule1))] Erin is young.[(((triple6) -> rule5))] Gary is nice.[(((triple11 triple13) -> rule7) OR ((((triple14) -> rule1) triple13) -> rule7) OR ((((triple15) -> rule3) triple13) -> rule7))] @2: Bob is red.[(((((triple3) -> rule1)) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule5)) -> rule3)) -> rule4) OR ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4))] @3: Bob is rough.[(((triple4 ((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((triple4 ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple3) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((triple4 ((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((triple4 ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule5) ((((((triple2 triple1) -> rule6)) -> rule1)) -> rule4)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((((triple3) -> (rule1 % int4)) ((triple4 ((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3) -> (rule1 % int4)) ((triple4 ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple4) -> (rule3 % int4)) ((triple4 ((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple4) -> (rule3 % int4)) ((triple4 ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
triple3
((triple2 triple1) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((((triple4) -> (rule3 % int5)) ((triple4 ((((triple4) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
triple4
((triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((triple9) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple8
((triple7) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple6 triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple6 triple5) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple15) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
((triple14) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple15) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple12
((triple11) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple15) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
((((triple11 triple13) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple11 triple13) -> (rule7 % int3)) ((triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple15) -> (rule3 % int3)) triple13) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple11 triple13) -> (rule7 % int4)) ((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple15) -> (rule3 % int4)) triple13) -> (rule7 % int3)) ((triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple15) -> (rule3 % int5)) triple13) -> (rule7 % int4)) ((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple11 triple13) -> (rule7 % int5)) ((((((triple15) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple15) -> (rule3 % int5)) triple13) -> (rule7 % int4)) ((((((triple15) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
triple15
((((triple11 triple13) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple14) -> (rule1 % int3)) triple13) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple4) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple11 triple13) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple14) -> (rule1 % int2)) triple13) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple15) -> (rule3 % int2)) triple13) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2 triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple4 ((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule5 % int4)) ((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple4 ((((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple4 ((((((triple2 triple1) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple2) -> (rule5 % int4)) ((((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule5 % int5)) ((((((triple2 triple1) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5