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