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