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