Anne is kind. Charlie is quiet. Charlie is rough. Dave is kind. Dave is nice. Dave is rough. Dave is young. Erin is kind. Erin is quiet. Erin is red. Quiet people are rough. If someone is rough and quiet then they are red. All blue people are nice. All kind people are blue. Rough people are young. Nice people are quiet. If Charlie is nice then Charlie is kind. If someone is rough then they are young. If Dave is rough and Dave is kind then Dave is blue.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and quiet then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Nice people are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is nice then Charlie is kind.
((("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "kind" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If Dave is rough and Dave is kind then Dave is blue.
((("Dave" "is" "rough" "+") ("Dave" "is" "kind" "+")) -> ("Dave" "is" "blue" "+"))
Dave is kind.
True
1
proof
[(triple4)]
("Dave" "is" "kind" "+")
triple4
Erin is not red.
False
1
inv-proof
[(triple10 OR ((((triple9) -> rule1) triple9) -> rule2) OR ((((triple9) -> rule1) ((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule1) triple9) -> rule2) OR ((((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule2))]
("Erin" "is" "red" "-")
triple10
((((triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple9) -> (rule1 % int5)) ((((((triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Anne is blue.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple3) -> rule5) OR ((triple3) -> rule8) OR ((((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule1)) -> rule8))]
("Charlie" "is" "young" "-")
((triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Dave is red.
True
4
proof
[(((triple6 ((triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule2) OR ((triple6 ((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule2) OR ((triple6 ((((((triple6 triple4) -> rule9)) -> rule3)) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule1) ((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule1) ((((((triple6 triple4) -> rule9)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule2) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((((((triple6 triple4) -> rule9)) -> rule3)) -> rule6)) -> rule2))]
("Dave" "is" "red" "+")
((triple6 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5) -> (rule6 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple6 ((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple6 ((((((triple6 triple4) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple5) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple5) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple6 triple4) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5) -> (rule6 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((triple6 triple4) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Anne is not nice.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule3))]
("Anne" "is" "nice" "-")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is quiet.
True
4
proof
[(((((((triple1) -> rule4)) -> rule3)) -> rule6))]
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is not quiet.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule3)) -> rule6))]
("Anne" "is" "quiet" "-")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
True
5
proof
[(((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1))]
("Anne" "is" "rough" "+")
((((((((triple1) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is not rough.
False
5
inv-proof
[(((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1))]
("Anne" "is" "rough" "-")
((((((((triple1) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is red.
True
10
proof
[(((((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule2))]
("Anne" "is" "red" "+")
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is not young.
False
6
inv-proof
[(((((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1)) -> rule8))]
("Anne" "is" "young" "-")
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Charlie is not blue.
Unknown
inv-rconc
[@3: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule3 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is nice.
Unknown
rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule7 <- FAIL)]]
("Charlie" "is" "nice" "+")
@0: Anne is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule1))] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((((triple4) -> rule4)) -> rule3) OR ((((triple6 triple4) -> rule9)) -> rule3))] Dave is rough.[(triple6 OR ((((triple5) -> rule6)) -> rule1) OR ((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1))] Dave is young.[(triple7 OR ((triple6) -> rule5) OR ((triple6) -> rule8) OR ((((((triple5) -> rule6)) -> rule1)) -> rule5) OR ((((((triple5) -> rule6)) -> rule1)) -> rule8) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1)) -> rule8))] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((((((triple8) -> rule4)) -> rule3)) -> rule6))] Erin is red.[(triple10 OR ((((triple9) -> rule1) triple9) -> rule2) OR ((((triple9) -> rule1) ((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule1) triple9) -> rule2) OR ((((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule2))] @1: Anne is blue.[(((triple1) -> rule4))] Charlie is red.[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] Charlie is young.[(((triple3) -> rule5) OR ((triple3) -> rule8) OR ((((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule1)) -> rule8))] Dave is blue.[(((triple4) -> rule4) OR ((triple6 triple4) -> rule9) OR ((((((triple5) -> rule6)) -> rule1) triple4) -> rule9))] Dave is quiet.[(((triple5) -> rule6) OR ((((((triple4) -> rule4)) -> rule3)) -> rule6) OR ((((((triple6 triple4) -> rule9)) -> rule3)) -> rule6))] Erin is blue.[(((triple8) -> rule4))] Erin is rough.[(((triple9) -> rule1) OR ((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule1))] @2: Anne is nice.[(((((triple1) -> rule4)) -> rule3))] Dave is red.[(((triple6 ((triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule2) OR ((triple6 ((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule2) OR ((triple6 ((((((triple6 triple4) -> rule9)) -> rule3)) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule1) ((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule1) ((((((triple6 triple4) -> rule9)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule2) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((((((triple6 triple4) -> rule9)) -> rule3)) -> rule6)) -> rule2))] Erin is nice.[(((((triple8) -> rule4)) -> rule3))] Erin is young.[(((((triple9) -> rule1)) -> rule5) OR ((((triple9) -> rule1)) -> rule8) OR ((((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule1)) -> rule8))] @3: Anne is quiet.[(((((((triple1) -> rule4)) -> rule3)) -> rule6))] @4: Anne is rough.[(((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1))] @5: Anne is red.[(((((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1) ((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule2))] Anne is young.[(((((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1)) -> rule8))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple6 triple4) -> (rule9 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple6
((((triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple6) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple6) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
((((((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple10
((((triple9) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple9) -> (rule1 % int5)) ((((((triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple6 triple4) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((((triple5) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple6 triple4) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((triple8) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple9) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((((((triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple6 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5) -> (rule6 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple6 ((((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple6 ((((((triple6 triple4) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple5) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple5) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple6 triple4) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule6 % int5))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5) -> (rule6 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((triple6 triple4) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
((((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((((((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
((((((((triple1) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5