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