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