Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is smart. Dave is white. Harry is green. Harry is smart. Harry is white. All red people are smart. All kind, furry people are white. Furry, white people are red. If someone is white and furry then they are kind. All smart, green people are furry. Red people are blue. If someone is white and red then they are smart. All green, kind people are furry.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
All kind, furry people are white.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Furry, white people are red.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is white and furry then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All smart, green people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is white and red then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
All green, kind people are furry.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Harry is smart.
True
1
proof
[(triple9)]
("Harry" "is" "smart" "+")
triple9
Harry is not smart.
False
1
inv-proof
[(triple9)]
("Harry" "is" "smart" "-")
triple9
Harry is furry.
True
3
proof
[(((triple9 triple8) -> rule5))]
("Harry" "is" "furry" "+")
((triple9 triple8) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
3
inv-proof
[(((triple9 triple8) -> rule5))]
("Harry" "is" "furry" "-")
((triple9 triple8) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
True
5
proof
[(((triple10 ((triple9 triple8) -> rule5)) -> rule4))]
("Harry" "is" "kind" "+")
((triple10 ((triple9 triple8) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not kind.
False
5
inv-proof
[(((triple10 ((triple9 triple8) -> rule5)) -> rule4))]
("Harry" "is" "kind" "-")
((triple10 ((triple9 triple8) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
@0: Dave is blue.[(triple1 OR ((triple5) -> rule6) OR ((((triple2 triple7) -> rule3)) -> rule6) OR ((((triple2 ((triple4 triple2) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple4) -> rule8) triple7) -> rule3)) -> rule6) OR ((((((triple6 triple3) -> rule5) triple7) -> rule3)) -> rule6) OR ((((((triple3 triple4) -> rule8) ((triple4 triple2) -> rule2)) -> rule3)) -> rule6) OR ((((((triple6 triple3) -> rule5) ((triple4 triple2) -> rule2)) -> rule3)) -> rule6) OR ((((triple2 ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule6) OR ((((triple2 ((triple4 ((triple6 triple3) -> rule5)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple4) -> rule8) ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple4) -> rule8) ((triple4 ((triple6 triple3) -> rule5)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple6 triple3) -> rule5) ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple6 triple3) -> rule5) ((triple4 ((triple6 triple3) -> rule5)) -> rule2)) -> rule3)) -> rule6))] Dave is furry.[(triple2 OR ((triple3 triple4) -> rule8) OR ((triple6 triple3) -> rule5) OR ((((triple5) -> rule1) triple3) -> rule5) OR ((((triple7 triple5) -> rule7) triple3) -> rule5))] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple7 triple2) -> rule4) OR ((triple7 ((triple6 triple3) -> rule5)) -> rule4) OR ((triple7 ((((triple5) -> rule1) triple3) -> rule5)) -> rule4) OR ((triple7 ((((triple7 triple5) -> rule7) triple3) -> rule5)) -> rule4))] Dave is red.[(triple5 OR ((triple2 triple7) -> rule3) OR ((triple2 ((triple4 triple2) -> rule2)) -> rule3) OR ((((triple3 triple4) -> rule8) triple7) -> rule3) OR ((((triple6 triple3) -> rule5) triple7) -> rule3) OR ((((triple3 triple4) -> rule8) ((triple4 triple2) -> rule2)) -> rule3) OR ((((triple6 triple3) -> rule5) ((triple4 triple2) -> rule2)) -> rule3) OR ((triple2 ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3) OR ((triple2 ((triple4 ((triple6 triple3) -> rule5)) -> rule2)) -> rule3) OR ((((triple3 triple4) -> rule8) ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3) OR ((((triple3 triple4) -> rule8) ((triple4 ((triple6 triple3) -> rule5)) -> rule2)) -> rule3) OR ((((triple6 triple3) -> rule5) ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3) OR ((((triple6 triple3) -> rule5) ((triple4 ((triple6 triple3) -> rule5)) -> rule2)) -> rule3))] Dave is smart.[(triple6 OR ((triple5) -> rule1) OR ((triple7 triple5) -> rule7) OR ((((triple2 triple7) -> rule3)) -> rule1) OR ((triple7 ((triple2 triple7) -> rule3)) -> rule7) OR ((((triple4 triple2) -> rule2) triple5) -> rule7) OR ((((triple4 triple2) -> rule2) ((triple2 triple7) -> rule3)) -> rule7) OR ((((triple2 ((triple4 triple2) -> rule2)) -> rule3)) -> rule1) OR ((((((triple3 triple4) -> rule8) triple7) -> rule3)) -> rule1) OR ((triple7 ((triple2 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7) OR ((triple7 ((((triple3 triple4) -> rule8) triple7) -> rule3)) -> rule7) OR ((((triple4 ((triple3 triple4) -> rule8)) -> rule2) triple5) -> rule7) OR ((((((triple3 triple4) -> rule8) ((triple4 triple2) -> rule2)) -> rule3)) -> rule1) OR ((triple7 ((((triple3 triple4) -> rule8) ((triple4 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple4 triple2) -> rule2) ((triple2 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple4 triple2) -> rule2) ((((triple3 triple4) -> rule8) triple7) -> rule3)) -> rule7) OR ((((triple4 ((triple3 triple4) -> rule8)) -> rule2) ((triple2 triple7) -> rule3)) -> rule7) OR ((((triple4 triple2) -> rule2) ((((triple3 triple4) -> rule8) ((triple4 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple4 ((triple3 triple4) -> rule8)) -> rule2) ((triple2 ((triple4 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple4 ((triple3 triple4) -> rule8)) -> rule2) ((((triple3 triple4) -> rule8) triple7) -> rule3)) -> rule7) OR ((((triple4 ((triple3 triple4) -> rule8)) -> rule2) ((((triple3 triple4) -> rule8) ((triple4 triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple2 ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule1) OR ((triple7 ((triple2 ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule7) OR ((((((triple3 triple4) -> rule8) ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule1) OR ((triple7 ((((triple3 triple4) -> rule8) ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule7) OR ((((triple4 triple2) -> rule2) ((triple2 ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule7) OR ((((triple4 triple2) -> rule2) ((((triple3 triple4) -> rule8) ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule7) OR ((((triple4 ((triple3 triple4) -> rule8)) -> rule2) ((triple2 ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule7) OR ((((triple4 ((triple3 triple4) -> rule8)) -> rule2) ((((triple3 triple4) -> rule8) ((triple4 ((triple3 triple4) -> rule8)) -> rule2)) -> rule3)) -> rule7))] Dave is white.[(triple7 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple3 triple4) -> rule8)) -> rule2) OR ((triple4 ((triple6 triple3) -> rule5)) -> rule2) OR ((triple4 ((((triple5) -> rule1) triple3) -> rule5)) -> rule2))] Harry is green.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Harry is furry.[(((triple9 triple8) -> rule5))] @2: Harry is kind.[(((triple10 ((triple9 triple8) -> rule5)) -> rule4))] Harry is red.[(((((triple9 triple8) -> rule5) triple10) -> rule3))] @3: Harry is blue.[(((((((triple9 triple8) -> rule5) triple10) -> rule3)) -> rule6))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple5) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple2 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple2 ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple3 triple4) -> (rule8 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6 triple3) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple3 triple4) -> (rule8 % int4)) ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple6 triple3) -> (rule5 % int4)) ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple2 ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple2 ((triple4 ((triple6 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple3 triple4) -> (rule8 % int4)) ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple3 triple4) -> (rule8 % int4)) ((triple4 ((triple6 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple6 triple3) -> (rule5 % int4)) ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple6 triple3) -> (rule5 % int4)) ((triple4 ((triple6 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple3 triple4) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple6 triple3) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple5) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple7 triple5) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((triple7 triple2) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple7 ((triple6 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple7 ((((triple5) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple7 ((((triple7 triple5) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
triple5
((triple2 triple7) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple2 ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3 triple4) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple6 triple3) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple3 triple4) -> (rule8 % int3)) ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple6 triple3) -> (rule5 % int3)) ((triple4 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple2 ((triple4 ((triple3 triple4) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple2 ((triple4 ((triple6 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple3 triple4) -> (rule8 % int3)) ((triple4 ((triple3 triple4) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple3 triple4) -> (rule8 % int3)) ((triple4 ((triple6 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple6 triple3) -> (rule5 % int3)) ((triple4 ((triple3 triple4) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple6 triple3) -> (rule5 % int3)) ((triple4 ((triple6 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple7 triple5) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple2 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple7 ((triple2 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple4 triple2) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple4 triple2) -> (rule2 % int3)) ((triple2 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple2 ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple3 triple4) -> (rule8 % int3)) triple7) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple7 ((triple2 ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple7 ((((triple3 triple4) -> (rule8 % int3)) triple7) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple4 ((triple3 triple4) -> (rule8 % int3))) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple3 triple4) -> (rule8 % int4)) ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((triple7 ((((triple3 triple4) -> (rule8 % int4)) ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple4 triple2) -> (rule2 % int3)) ((triple2 ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple4 triple2) -> (rule2 % int4)) ((((triple3 triple4) -> (rule8 % int3)) triple7) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3)) ((triple2 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple4 triple2) -> (rule2 % int4)) ((((triple3 triple4) -> (rule8 % int3)) ((triple4 triple2) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3)) ((triple2 ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple3 triple4) -> (rule8 % int4)) triple7) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple3 triple4) -> (rule8 % int4)) ((triple4 triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple2 ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((triple7 ((triple2 ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple3 triple4) -> (rule8 % int4)) ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((triple7 ((((triple3 triple4) -> (rule8 % int4)) ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple4 triple2) -> (rule2 % int4)) ((triple2 ((triple4 ((triple3 triple4) -> (rule8 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple4 triple2) -> (rule2 % int4)) ((((triple3 triple4) -> (rule8 % int3)) ((triple4 ((triple3 triple4) -> (rule8 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3)) ((triple2 ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3)) ((((triple3 triple4) -> (rule8 % int4)) ((triple4 ((triple3 triple4) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple7
((triple4 triple2) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple4 ((triple3 triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple4 ((triple6 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple4 ((((triple5) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
((triple9 triple8) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 ((triple9 triple8) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple9 triple8) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((((triple9 triple8) -> (rule5 % int3)) triple10) -> (rule3 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3