Dave is blue. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is white. Dave is young. Erin is blue. Erin is green. Erin is kind. Erin is rough. Erin is round. Erin is white. Erin is young. Young, rough things are green. If something is round and blue then it is rough. If Dave is blue and Dave is kind then Dave is round. All kind things are blue. All round, rough things are green. Young, round things are kind.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Young, rough things are green.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is round and blue then it is rough.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If Dave is blue and Dave is kind then Dave is round.
((("Dave" "is" "blue" "+") ("Dave" "is" "kind" "+")) -> ("Dave" "is" "round" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All round, rough things are green.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Young, round things are kind.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Dave is blue.
True
1
proof
[(triple1 OR ((triple3) -> rule4) OR ((((triple7 triple5) -> rule6)) -> rule4))]
("Dave" "is" "blue" "+")
triple1
((triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple7 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Erin is not white.
False
1
inv-proof
[(triple13)]
("Erin" "is" "white" "-")
triple13
@0: Dave is blue.[(triple1 OR ((triple3) -> rule4) OR ((((triple7 triple5) -> rule6)) -> rule4))] Dave is green.[(triple2 OR ((triple5 triple4) -> rule5) OR ((triple7 triple4) -> rule1) OR ((triple5 ((triple5 triple1) -> rule2)) -> rule5) OR ((triple7 ((triple5 triple1) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) triple4) -> rule5) OR ((((triple1 triple3) -> rule3) ((triple5 triple1) -> rule2)) -> rule5) OR ((triple5 ((triple5 ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((triple1 triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((triple7 ((triple5 ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((((triple1 triple3) -> rule3) triple1) -> rule2)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) triple4) -> rule5) OR ((triple5 ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) ((triple5 ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((triple1 triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple5 triple1) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple5 ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1 triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((triple7 ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2)) -> rule1) OR ((triple5 ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((triple5 ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5))] Dave is kind.[(triple3 OR ((triple7 triple5) -> rule6))] Dave is rough.[(triple4 OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple3) -> rule4)) -> rule2) OR ((((triple1 triple3) -> rule3) triple1) -> rule2) OR ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2) OR ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2))] Dave is round.[(triple5 OR ((triple1 triple3) -> rule3) OR ((((triple3) -> rule4) triple3) -> rule3))] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is blue.[(triple8 OR ((triple10) -> rule4) OR ((((triple14 triple12) -> rule6)) -> rule4))] Erin is green.[(triple9 OR ((triple12 triple11) -> rule5) OR ((triple14 triple11) -> rule1) OR ((triple12 ((triple12 triple8) -> rule2)) -> rule5) OR ((triple14 ((triple12 triple8) -> rule2)) -> rule1) OR ((triple12 ((triple12 ((triple10) -> rule4)) -> rule2)) -> rule5) OR ((triple14 ((triple12 ((triple10) -> rule4)) -> rule2)) -> rule1) OR ((triple12 ((triple12 ((((triple14 triple12) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple14 ((triple12 ((((triple14 triple12) -> rule6)) -> rule4)) -> rule2)) -> rule1))] Erin is kind.[(triple10 OR ((triple14 triple12) -> rule6))] Erin is rough.[(triple11 OR ((triple12 triple8) -> rule2) OR ((triple12 ((triple10) -> rule4)) -> rule2) OR ((triple12 ((((triple14 triple12) -> rule6)) -> rule4)) -> rule2))] Erin is round.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple7 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple2
((triple5 triple4) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple7 triple4) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple5 ((triple5 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple7 ((triple5 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple1 triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple1 triple3) -> (rule3 % int3)) ((triple5 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((triple5 ((triple5 ((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple5 ((((triple1 triple3) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((triple7 ((triple5 ((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple7 ((((triple1 triple3) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2)) triple4) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple5 ((((triple1 triple3) -> (rule3 % int4)) ((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple7 ((((triple1 triple3) -> (rule3 % int4)) ((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple1 triple3) -> (rule3 % int4)) ((triple5 ((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple1 triple3) -> (rule3 % int3)) ((((triple1 triple3) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple5 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple1 triple3) -> (rule3 % int4)) ((((triple1 triple3) -> (rule3 % int4)) ((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple5 ((triple3) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple1 triple3) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple1 triple3) -> (rule3 % int3)) ((triple3) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple5 ((triple5 ((((triple7 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple5 ((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple7 ((triple5 ((((triple7 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple7 ((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple5 ((((triple1 triple3) -> (rule3 % int5)) ((((triple7 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((triple5 ((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple7 ((((triple1 triple3) -> (rule3 % int5)) ((((triple7 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((triple7 ((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple1 triple3) -> (rule3 % int5)) ((triple5 ((((triple7 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple1 triple3) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int4)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple5 ((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((((triple7 triple5) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((triple7 ((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((((triple7 triple5) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple1 triple3) -> (rule3 % int5)) ((((triple1 triple3) -> (rule3 % int5)) ((((triple7 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple1 triple3) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int4)) ((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((triple5 ((((triple7 triple5) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple1 triple3) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int5)) ((((triple7 triple5) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((((triple1 triple3) -> (rule3 % int4)) ((((triple7 triple5) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) ((((triple7 triple5) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((triple7 triple5) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((triple5 triple1) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple5 ((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple1 triple3) -> (rule3 % int3)) ((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((triple5 ((((triple7 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule3 % int4)) ((((triple7 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule4 % int3))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3)) ((((triple7 triple5) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple1 triple3) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
((triple10) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple14 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple9
((triple12 triple11) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple14 triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple12 ((triple12 triple8) -> (rule2 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple14 ((triple12 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple12 ((triple12 ((triple10) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple14 ((triple12 ((triple10) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple12 ((triple12 ((((triple14 triple12) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple14 ((triple12 ((((triple14 triple12) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
triple10
((triple14 triple12) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple12 triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple12 ((triple10) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple12 ((((triple14 triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14