Anne is big. Anne is blue. Anne is kind. Anne is not quiet. Anne is red. Anne is round. Anne is young. Dave is big. Dave is quiet. Erin is big. Erin is blue. Erin is kind. Erin is young. Harry is blue. Harry is red. Harry is round. All young things are red. If something is blue and not big then it is red. If something is blue and big then it is kind. Quiet things are blue. All kind things are blue. Kind things are round. If Erin is red then Erin is quiet. If something is round then it is young. If something is round and big then it is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is blue and not big then it is red.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
If something is blue and big then it is kind.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Erin is red then Erin is quiet.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "quiet" "+"))
If something is round then it is young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is round and big then it is young.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Erin is young.
True
1
proof
[(triple13 OR ((((triple12) -> rule6)) -> rule8) OR ((((triple12) -> rule6) triple10) -> rule9) OR ((((((triple11 triple10) -> rule3)) -> rule6)) -> rule8) OR ((((((triple11 triple10) -> rule3)) -> rule6) triple10) -> rule9))]
("Erin" "is" "young" "+")
triple13
((((triple12) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple12) -> (rule6 % int2)) triple10) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple11 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple11 triple10) -> (rule3 % int3))) -> (rule6 % int2)) triple10) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Anne is not young.
False
1
inv-proof
[(triple7 OR ((triple6) -> rule8) OR ((triple6 triple1) -> rule9) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple3) -> rule6) triple1) -> rule9) OR ((((((triple2 triple1) -> rule3)) -> rule6)) -> rule8) OR ((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule9))]
("Anne" "is" "young" "-")
triple7
((triple6) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple6 triple1) -> (rule9 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3) -> (rule6 % int2)) triple1) -> (rule9 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple2 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2 triple1) -> (rule3 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Erin is round.
True
2
proof
[(((triple12) -> rule6) OR ((((triple11 triple10) -> rule3)) -> rule6) OR ((((((((((triple13) -> rule1)) -> rule7)) -> rule4) triple10) -> rule3)) -> rule6))]
("Erin" "is" "round" "+")
((triple12) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple11 triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((((((((triple13) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Dave is not blue.
False
2
inv-proof
[(((triple9) -> rule4))]
("Dave" "is" "blue" "-")
((triple9) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
True
4
proof
[(((((triple9) -> rule4) triple8) -> rule3))]
("Dave" "is" "kind" "+")
((((triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is not quiet.
False
3
inv-proof
[(((((triple13) -> rule1)) -> rule7) OR ((((((((triple12) -> rule6)) -> rule8)) -> rule1)) -> rule7) OR ((((((((triple12) -> rule6) triple10) -> rule9)) -> rule1)) -> rule7) OR ((((((((((triple11 triple10) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule7) OR ((((((((((triple11 triple10) -> rule3)) -> rule6) triple10) -> rule9)) -> rule1)) -> rule7))]
("Erin" "is" "quiet" "-")
((((triple13) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((((triple12) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple12) -> (rule6 % int4)) triple10) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((((triple11 triple10) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((((triple11 triple10) -> (rule3 % int5))) -> (rule6 % int4)) triple10) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Dave is round.
True
5
proof
[(((((((triple9) -> rule4) triple8) -> rule3)) -> rule6))]
("Dave" "is" "round" "+")
((((((triple9) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not round.
False
5
inv-proof
[(((((((triple9) -> rule4) triple8) -> rule3)) -> rule6))]
("Dave" "is" "round" "-")
((((((triple9) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
True
6
proof
[(((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6) triple8) -> rule9))]
("Dave" "is" "young" "+")
((((((((triple9) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple9) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2)) triple8) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not young.
False
6
inv-proof
[(((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6) triple8) -> rule9))]
("Dave" "is" "young" "-")
((((((((triple9) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple9) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2)) triple8) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is red.
True
7
proof
[(((((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6)) -> rule8)) -> rule1) OR ((((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6) triple8) -> rule9)) -> rule1))]
("Dave" "is" "red" "+")
((((((((((triple9) -> (rule4 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple9) -> (rule4 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3)) triple8) -> (rule9 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is not red.
False
7
inv-proof
[(((((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6)) -> rule8)) -> rule1) OR ((((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6) triple8) -> rule9)) -> rule1))]
("Dave" "is" "red" "-")
((((((((((triple9) -> (rule4 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple9) -> (rule4 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3)) triple8) -> (rule9 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule5))] Anne is kind.[(triple3 OR ((triple2 triple1) -> rule3))] Anne is not quiet.[(triple4)] Anne is red.[(triple5 OR ((triple7) -> rule1) OR ((((triple6) -> rule8)) -> rule1) OR ((((triple6 triple1) -> rule9)) -> rule1) OR ((((((triple3) -> rule6)) -> rule8)) -> rule1) OR ((((((triple3) -> rule6) triple1) -> rule9)) -> rule1) OR ((((((((triple2 triple1) -> rule3)) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule9)) -> rule1))] Anne is round.[(triple6 OR ((triple3) -> rule6) OR ((((triple2 triple1) -> rule3)) -> rule6))] Anne is young.[(triple7 OR ((triple6) -> rule8) OR ((triple6 triple1) -> rule9) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple3) -> rule6) triple1) -> rule9) OR ((((((triple2 triple1) -> rule3)) -> rule6)) -> rule8) OR ((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule9))] Dave is big.[(triple8)] Dave is quiet.[(triple9)] Erin is big.[(triple10)] Erin is blue.[(triple11 OR ((triple12) -> rule5) OR ((((((triple13) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple12) -> rule6)) -> rule8)) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple12) -> rule6) triple10) -> rule9)) -> rule1)) -> rule7)) -> rule4))] Erin is kind.[(triple12 OR ((triple11 triple10) -> rule3) OR ((((((((triple13) -> rule1)) -> rule7)) -> rule4) triple10) -> rule3))] Erin is young.[(triple13 OR ((((triple12) -> rule6)) -> rule8) OR ((((triple12) -> rule6) triple10) -> rule9) OR ((((((triple11 triple10) -> rule3)) -> rule6)) -> rule8) OR ((((((triple11 triple10) -> rule3)) -> rule6) triple10) -> rule9))] Harry is blue.[(triple14)] Harry is red.[(triple15 OR ((((triple16) -> rule8)) -> rule1))] Harry is round.[(triple16)] @1: Dave is blue.[(((triple9) -> rule4))] Erin is red.[(((triple13) -> rule1) OR ((((((triple12) -> rule6)) -> rule8)) -> rule1) OR ((((((triple12) -> rule6) triple10) -> rule9)) -> rule1) OR ((((((((triple11 triple10) -> rule3)) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple11 triple10) -> rule3)) -> rule6) triple10) -> rule9)) -> rule1))] Erin is round.[(((triple12) -> rule6) OR ((((triple11 triple10) -> rule3)) -> rule6) OR ((((((((((triple13) -> rule1)) -> rule7)) -> rule4) triple10) -> rule3)) -> rule6))] Harry is young.[(((triple16) -> rule8))] @2: Dave is kind.[(((((triple9) -> rule4) triple8) -> rule3))] Erin is quiet.[(((((triple13) -> rule1)) -> rule7) OR ((((((((triple12) -> rule6)) -> rule8)) -> rule1)) -> rule7) OR ((((((((triple12) -> rule6) triple10) -> rule9)) -> rule1)) -> rule7) OR ((((((((((triple11 triple10) -> rule3)) -> rule6)) -> rule8)) -> rule1)) -> rule7) OR ((((((((((triple11 triple10) -> rule3)) -> rule6) triple10) -> rule9)) -> rule1)) -> rule7))] @3: Dave is round.[(((((((triple9) -> rule4) triple8) -> rule3)) -> rule6))] @4: Dave is young.[(((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6) triple8) -> rule9))] @5: Dave is red.[(((((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6)) -> rule8)) -> rule1) OR ((((((((((triple9) -> rule4) triple8) -> rule3)) -> rule6) triple8) -> rule9)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple2 triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple7) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple6 triple1) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((((triple2 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2 triple1) -> (rule3 % int4))) -> (rule6 % int3)) triple1) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple3) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple2 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple6) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple6 triple1) -> (rule9 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3) -> (rule6 % int2)) triple1) -> (rule9 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple2 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2 triple1) -> (rule3 % int3))) -> (rule6 % int2)) triple1) -> (rule9 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is blue.
("Erin" "is" "blue" "+")
triple11
((triple12) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((((triple13) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple12) -> (rule6 % int5)) triple10) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
triple12
((triple11 triple10) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((((((triple13) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple13
((((triple12) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple12) -> (rule6 % int2)) triple10) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple11 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple11 triple10) -> (rule3 % int3))) -> (rule6 % int2)) triple10) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
((((triple16) -> (rule8 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple9) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple13) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((((triple12) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple12) -> (rule6 % int3)) triple10) -> (rule9 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((((triple11 triple10) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((((triple11 triple10) -> (rule3 % int4))) -> (rule6 % int3)) triple10) -> (rule9 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((triple12) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple11 triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((((((((triple13) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
((triple16) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple13) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((((((triple12) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple12) -> (rule6 % int4)) triple10) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((((triple11 triple10) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((((triple11 triple10) -> (rule3 % int5))) -> (rule6 % int4)) triple10) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
((((((triple9) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((((((triple9) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple9) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2)) triple8) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
((((((((((triple9) -> (rule4 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple9) -> (rule4 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3)) triple8) -> (rule9 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5