Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Dave is young. If something is nice then it is smart. All young, green things are nice. If Dave is nice and Dave is smart then Dave is green. Smart, nice things are blue. All furry, quiet things are young. If Dave is nice and Dave is blue then Dave is furry. If something is green then it is blue. If Dave is furry then Dave is young.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
If something is nice then it is smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All young, green things are nice.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If Dave is nice and Dave is smart then Dave is green.
((("Dave" "is" "nice" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "green" "+"))
Smart, nice things are blue.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All furry, quiet things are young.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If Dave is nice and Dave is blue then Dave is furry.
((("Dave" "is" "nice" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "furry" "+"))
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If Dave is furry then Dave is young.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "young" "+"))
Dave is nice.
True
1
proof
[(triple4 OR ((triple7 triple3) -> rule2) OR ((((triple2) -> rule8) triple3) -> rule2) OR ((((triple2 triple5) -> rule5) triple3) -> rule2))]
("Dave" "is" "nice" "+")
triple4
((triple7 triple3) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple2) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple2 triple5) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not blue.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule7) OR ((triple6 triple4) -> rule4) OR ((((triple4 triple6) -> rule3)) -> rule7) OR ((triple6 ((triple7 triple3) -> rule2)) -> rule4) OR ((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7) OR ((triple6 ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((triple6 ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((triple4) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4))]
("Dave" "is" "blue" "-")
triple1
((triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple6 triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple4 triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple6 ((triple7 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple7 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple6 ((((triple2) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple6 ((((triple2 triple5) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple7 triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple4) -> (rule1 % int4)) ((((triple2) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4) -> (rule1 % int4)) ((((triple2 triple5) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple7 triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple7 triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule8 % int2)) triple3) -> (rule2 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple7 triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple2 triple5) -> (rule5 % int2)) triple3) -> (rule2 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
@0: Dave is blue.[(triple1 OR ((triple3) -> rule7) OR ((triple6 triple4) -> rule4) OR ((((triple4 triple6) -> rule3)) -> rule7) OR ((triple6 ((triple7 triple3) -> rule2)) -> rule4) OR ((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7) OR ((triple6 ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((triple6 ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((triple4) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4))] Dave is furry.[(triple2 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple3) -> rule7)) -> rule6) OR ((triple4 ((triple6 triple4) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) triple1) -> rule6) OR ((((triple7 triple3) -> rule2) ((triple3) -> rule7)) -> rule6) OR ((((triple7 triple3) -> rule2) ((triple6 triple4) -> rule4)) -> rule6) OR ((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((triple6 ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((triple4 ((((triple4) -> rule1) triple4) -> rule4)) -> rule6) OR ((triple4 ((((triple4) -> rule1) ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((triple4 triple6) -> rule3)) -> rule7)) -> rule6) OR ((((triple7 triple3) -> rule2) ((triple6 ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((triple4) -> rule1) triple4) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((triple4) -> rule1) ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((triple4 ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((triple7 triple3) -> rule2)) -> rule1) triple4) -> rule4)) -> rule6) OR ((triple4 ((((((triple7 triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((((triple7 triple3) -> rule2)) -> rule1) triple4) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((((triple7 triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4)) -> rule6))] Dave is green.[(triple3 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple4) -> rule1)) -> rule3))] Dave is nice.[(triple4 OR ((triple7 triple3) -> rule2) OR ((((triple2) -> rule8) triple3) -> rule2) OR ((((triple2 triple5) -> rule5) triple3) -> rule2))] Dave is quiet.[(triple5)] Dave is smart.[(triple6 OR ((triple4) -> rule1) OR ((((triple7 triple3) -> rule2)) -> rule1) OR ((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) OR ((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1))] Dave is young.[(triple7 OR ((triple2) -> rule8) OR ((triple2 triple5) -> rule5) OR ((((triple4 triple1) -> rule6)) -> rule8) OR ((((triple4 triple1) -> rule6) triple5) -> rule5) OR ((((triple4 ((triple3) -> rule7)) -> rule6)) -> rule8) OR ((((triple4 ((triple6 triple4) -> rule4)) -> rule6)) -> rule8) OR ((((triple4 ((triple3) -> rule7)) -> rule6) triple5) -> rule5) OR ((((triple4 ((triple6 triple4) -> rule4)) -> rule6) triple5) -> rule5) OR ((((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule6)) -> rule8) OR ((((triple4 ((((triple4) -> rule1) triple4) -> rule4)) -> rule6)) -> rule8) OR ((((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule6) triple5) -> rule5) OR ((((triple4 ((((triple4) -> rule1) triple4) -> rule4)) -> rule6) triple5) -> rule5) OR ((((triple4 ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule6)) -> rule8) OR ((((triple4 ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule6) triple5) -> rule5))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple6 triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple4 triple6) -> (rule3 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple6 ((triple7 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple7 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple6 ((((triple2) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple6 ((((triple2 triple5) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple7 triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple4) -> (rule1 % int4)) ((((triple2) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4) -> (rule1 % int4)) ((((triple2 triple5) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple7 triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple7 triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule8 % int2)) triple3) -> (rule2 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple7 triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple2 triple5) -> (rule5 % int2)) triple3) -> (rule2 % int4))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple2 triple5) -> (rule5 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple4 triple1) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple4 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple4 ((triple6 triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple7 triple3) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple7 triple3) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple7 triple3) -> (rule2 % int3)) ((triple6 triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple4 ((((triple4 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple4 ((triple6 ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple4 ((((triple4) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple4 ((((triple4) -> (rule1 % int4)) ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple7 triple3) -> (rule2 % int4)) ((((triple4 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple7 triple3) -> (rule2 % int3)) ((triple6 ((triple7 triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple7 triple3) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple7 triple3) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3)) ((triple7 triple3) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple4 ((((triple4 ((triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((triple4 ((((((triple7 triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple4 ((((((triple7 triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((triple7 triple3) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple7 triple3) -> (rule2 % int5)) ((((triple4 ((triple4) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((triple7 triple3) -> (rule2 % int4)) ((((((triple7 triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple7 triple3) -> (rule2 % int4)) ((((((triple7 triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((triple7 triple3) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple4 triple6) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple4
((triple7 triple3) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple2) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple2 triple5) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple4) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple7 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple2) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple2 triple5) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple2) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple2 triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple4 triple1) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple4 triple1) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple4 ((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple4 ((triple6 triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple4 ((triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple4 ((triple6 triple4) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple4 ((((triple4 triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple4 ((((triple4) -> (rule1 % int4)) triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((((triple4 triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple4 ((((triple4) -> (rule1 % int4)) triple4) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((((triple4 ((triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple4 ((((triple4 ((triple4) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5