Anne is quiet. Anne is young. Charlie is quiet. Dave is green. Dave is nice. Dave is rough. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is young. If something is quiet and green then it is cold. If something is rough and cold then it is nice. If something is quiet then it is nice. If something is cold then it is rough. All quiet things are green. All young things are quiet.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is quiet and green then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something is rough and cold then it is nice.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is quiet then it is nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
All young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Gary is quiet.
True
1
proof
[(triple10 OR ((triple12) -> rule6))]
("Gary" "is" "quiet" "+")
triple10
((triple12) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
1
inv-proof
[(triple10 OR ((triple12) -> rule6))]
("Gary" "is" "quiet" "-")
triple10
((triple12) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Charlie is nice.
True
2
proof
[(((triple3) -> rule3) OR ((((((triple3 ((triple3) -> rule5)) -> rule1)) -> rule4) ((triple3 ((triple3) -> rule5)) -> rule1)) -> rule2))]
("Charlie" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((((triple3 ((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple3 ((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Gary is not nice.
False
2
inv-proof
[(((triple10) -> rule3) OR ((triple11 triple7) -> rule2) OR ((((triple12) -> rule6)) -> rule3) OR ((triple11 ((triple10 triple8) -> rule1)) -> rule2) OR ((((triple7) -> rule4) triple7) -> rule2) OR ((((triple7) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((triple11 ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((triple11 ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) triple7) -> rule2) OR ((triple11 ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((triple11 ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) triple7) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) triple7) -> rule2) OR ((triple11 ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) triple7) -> rule2) OR ((((triple7) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) triple7) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) triple7) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2))]
("Gary" "is" "nice" "-")
((triple10) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple11 triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple11 ((triple10 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple7) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple10 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple11 ((triple10 ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple11 ((((triple12) -> (rule6 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple10 triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple11 ((((triple12) -> (rule6 % int4)) ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple7) -> (rule4 % int4)) ((triple10 ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple7) -> (rule4 % int4)) ((((triple12) -> (rule6 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple10 triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple7) -> (rule4 % int5)) ((((triple12) -> (rule6 % int4)) ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple10 triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple10 ((triple10) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple10 triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int2)) triple8) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple10 triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple12) -> (rule6 % int3)) ((triple10) -> (rule5 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple11 ((triple10 ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple12) -> (rule6 % int4)) triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((triple11 ((((triple12) -> (rule6 % int4)) ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple7) -> (rule4 % int5)) ((triple10 ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple12) -> (rule6 % int4)) triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple7) -> (rule4 % int5)) ((((triple12) -> (rule6 % int4)) ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple10 triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((triple10 ((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple10 ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int2)) triple8) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple10 ((triple10) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int4)) triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int4)) triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple12) -> (rule6 % int3)) ((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple10 ((((triple12) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int2)) ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int2)) ((((triple12) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is quiet.[(triple1 OR ((triple2) -> rule6))] Anne is young.[(triple2)] Charlie is quiet.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Gary is cold.[(triple7 OR ((triple10 triple8) -> rule1) OR ((triple10 ((triple10) -> rule5)) -> rule1) OR ((((triple12) -> rule6) triple8) -> rule1) OR ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1) OR ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1) OR ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1))] Gary is green.[(triple8 OR ((triple10) -> rule5) OR ((((triple12) -> rule6)) -> rule5))] Gary is kind.[(triple9)] Gary is quiet.[(triple10 OR ((triple12) -> rule6))] Gary is rough.[(triple11 OR ((triple7) -> rule4) OR ((((triple10 triple8) -> rule1)) -> rule4) OR ((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) OR ((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) OR ((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) OR ((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) OR ((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4))] Gary is young.[(triple12)] @1: Anne is green.[(((triple1) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] Anne is nice.[(((triple1) -> rule3) OR ((((triple2) -> rule6)) -> rule3) OR ((((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4) ((triple1 ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4) ((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4) ((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule4) ((triple1 ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4) ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule4) ((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule4) ((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule4) ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple1 ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple1 ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2))] Charlie is green.[(((triple3) -> rule5))] Charlie is nice.[(((triple3) -> rule3) OR ((((((triple3 ((triple3) -> rule5)) -> rule1)) -> rule4) ((triple3 ((triple3) -> rule5)) -> rule1)) -> rule2))] Gary is nice.[(((triple10) -> rule3) OR ((triple11 triple7) -> rule2) OR ((((triple12) -> rule6)) -> rule3) OR ((triple11 ((triple10 triple8) -> rule1)) -> rule2) OR ((((triple7) -> rule4) triple7) -> rule2) OR ((((triple7) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((triple11 ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((triple11 ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) triple7) -> rule2) OR ((triple11 ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((triple11 ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) triple7) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) triple7) -> rule2) OR ((triple11 ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((triple7) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) triple7) -> rule2) OR ((((triple7) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((triple10 triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) triple8) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) triple7) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) triple7) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 triple8) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) triple8) -> rule1)) -> rule2) OR ((((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule4) ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule5)) -> rule1)) -> rule2))] @2: Anne is cold.[(((triple1 ((triple1) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1) OR ((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1))] Charlie is cold.[(((triple3 ((triple3) -> rule5)) -> rule1))] @3: Anne is rough.[(((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4) OR ((((((triple2) -> rule6) ((triple1) -> rule5)) -> rule1)) -> rule4) OR ((((triple1 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4))] Charlie is rough.[(((((triple3 ((triple3) -> rule5)) -> rule1)) -> rule4))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
((triple2) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((triple10 triple8) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple10 ((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple12) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple12) -> (rule6 % int3)) ((triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple10 ((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple12) -> (rule6 % int3)) ((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple10) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple12) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple11
((triple7) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple10 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple10 ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple12) -> (rule6 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple12) -> (rule6 % int4)) ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple10 ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple12) -> (rule6 % int4)) ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple12
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple1 ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1 ((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1 ((((triple2) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((triple1 ((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule6 % int2)) ((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((triple2) -> (rule6 % int5)) ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((triple1 ((triple1) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule6 % int2)) ((((triple2) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((triple2) -> (rule6 % int5)) ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1 ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5)) ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5)) ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5)) ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5)) ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((triple1 ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((triple1 ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1 ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((triple1 ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5)) ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5)) ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((triple1 ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5)) ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5)) ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1 ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5)) ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5)) ((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple2) -> (rule6 % int5)) ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule6 % int5)) ((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
((triple3) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((((triple3 ((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple3 ((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
((triple10) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple11 triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple11 ((triple10 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple7) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple10 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple11 ((triple10 ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple11 ((((triple12) -> (rule6 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple10 triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple11 ((((triple12) -> (rule6 % int4)) ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple7) -> (rule4 % int4)) ((triple10 ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple7) -> (rule4 % int4)) ((((triple12) -> (rule6 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple10 triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple7) -> (rule4 % int5)) ((((triple12) -> (rule6 % int4)) ((triple10) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple10 triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple10 ((triple10) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple10 triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int2)) triple8) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple10 triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple12) -> (rule6 % int3)) ((triple10) -> (rule5 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((triple11 ((triple10 ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple12) -> (rule6 % int4)) triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((triple11 ((((triple12) -> (rule6 % int4)) ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple7) -> (rule4 % int5)) ((triple10 ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple12) -> (rule6 % int4)) triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple7) -> (rule4 % int5)) ((((triple12) -> (rule6 % int4)) ((((triple12) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple10 triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((triple10 ((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple10 ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int2)) triple8) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple10 ((triple10) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int4)) triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int4)) triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple12) -> (rule6 % int3)) ((((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple10 ((((triple12) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int2)) ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((triple10) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int2)) ((((triple12) -> (rule6 % int2))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) triple8) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple10 ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((triple10) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple12) -> (rule6 % int5)) ((((triple12) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple2) -> (rule6 % int3)) ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((triple1 ((((triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple2) -> (rule6 % int4)) ((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple1 ((((triple2) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((triple2) -> (rule6 % int4)) ((((triple2) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple3 ((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3