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