Dave is big. Dave is blue. Dave is quiet. Dave is round. Dave is white. Erin is big. Erin is furry. Erin is quiet. Erin is red. Erin is white. If something is blue then it is furry. If something is blue then it is white. If Erin is red then Erin is big. If Dave is white then Dave is round. All big things are blue. Red, furry things are quiet. All big, furry things are red. Furry things are big.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Erin is red then Erin is big.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "big" "+"))
If Dave is white then Dave is round.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "round" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Red, furry things are quiet.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
All big, furry things are red.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Erin is red.
True
1
proof
[(triple9 OR ((triple6 triple7) -> rule7) OR ((((triple7) -> rule8) triple7) -> rule7) OR ((triple6 ((((triple6) -> rule5)) -> rule1)) -> rule7) OR ((((triple7) -> rule8) ((((triple6) -> rule5)) -> rule1)) -> rule7))]
("Erin" "is" "red" "+")
triple9
((triple6 triple7) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple7) -> (rule8 % int2)) triple7) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple6 ((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple7) -> (rule8 % int4)) ((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is not furry.
False
1
inv-proof
[(triple7 OR ((((triple6) -> rule5)) -> rule1) OR ((((((triple9) -> rule3)) -> rule5)) -> rule1))]
("Erin" "is" "furry" "-")
triple7
((((triple6) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
@0: Dave is big.[(triple1 OR ((((triple2) -> rule1)) -> rule8))] Dave is blue.[(triple2 OR ((triple1) -> rule5))] Dave is quiet.[(triple3 OR ((((triple1 ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule6) OR ((((triple1 ((triple2) -> rule1)) -> rule7) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule6) OR ((((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule7) ((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule8) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule8) ((((triple1) -> rule5)) -> rule1)) -> rule7) ((((triple1) -> rule5)) -> rule1)) -> rule6))] Dave is round.[(triple4 OR ((triple5) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((((((triple1) -> rule5)) -> rule2)) -> rule4))] Dave is white.[(triple5 OR ((triple2) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Erin is big.[(triple6 OR ((triple7) -> rule8) OR ((triple9) -> rule3))] Erin is furry.[(triple7 OR ((((triple6) -> rule5)) -> rule1) OR ((((((triple9) -> rule3)) -> rule5)) -> rule1))] Erin is quiet.[(triple8 OR ((triple9 triple7) -> rule6) OR ((((triple6 triple7) -> rule7) triple7) -> rule6) OR ((triple9 ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule7) triple7) -> rule6) OR ((((triple6 triple7) -> rule7) ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule7) ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((triple9 ((((((triple9) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((triple6 ((((triple6) -> rule5)) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 triple7) -> rule7) ((((((triple9) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7) -> rule8) ((((triple6) -> rule5)) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((((triple6) -> rule5)) -> rule1)) -> rule7) ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule7) ((((((triple9) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((triple6 ((((triple6) -> rule5)) -> rule1)) -> rule7) ((((((triple9) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7) -> rule8) ((((triple6) -> rule5)) -> rule1)) -> rule7) ((((triple6) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7) -> rule8) ((((triple6) -> rule5)) -> rule1)) -> rule7) ((((((triple9) -> rule3)) -> rule5)) -> rule1)) -> rule6))] Erin is red.[(triple9 OR ((triple6 triple7) -> rule7) OR ((((triple7) -> rule8) triple7) -> rule7) OR ((triple6 ((((triple6) -> rule5)) -> rule1)) -> rule7) OR ((((triple7) -> rule8) ((((triple6) -> rule5)) -> rule1)) -> rule7))] Erin is white.[(triple10 OR ((((triple6) -> rule5)) -> rule2) OR ((((((triple7) -> rule8)) -> rule5)) -> rule2) OR ((((((triple9) -> rule3)) -> rule5)) -> rule2))] @1: Dave is furry.[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] Erin is blue.[(((triple6) -> rule5) OR ((((triple7) -> rule8)) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] @2: Dave is red.[(((triple1 ((triple2) -> rule1)) -> rule7) OR ((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule7) OR ((((((triple2) -> rule1)) -> rule8) ((triple2) -> rule1)) -> rule7) OR ((((((triple2) -> rule1)) -> rule8) ((((triple1) -> rule5)) -> rule1)) -> rule7))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
triple2
((triple1) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
((((triple1 ((triple2) -> (rule1 % int3))) -> (rule7 % int2)) ((triple2) -> (rule1 % int3))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple1 ((triple2) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((triple2) -> (rule1 % int3))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule7 % int2)) ((triple2) -> (rule1 % int4))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((triple2) -> (rule1 % int5))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule1 % int5))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule1 % int5))) -> (rule7 % int2)) ((triple2) -> (rule1 % int5))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule1 % int5))) -> (rule7 % int2)) ((((triple1) -> (rule5 % int3))) -> (rule1 % int5))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
triple4
((triple5) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
triple5
((triple2) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple6
((triple7) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple9) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((((triple6) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((triple9 triple7) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple6 triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple9 ((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple7) -> (rule8 % int3)) triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple6 triple7) -> (rule7 % int4)) ((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple7) -> (rule8 % int5)) triple7) -> (rule7 % int4)) ((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((triple9 ((((((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple6 ((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple6 triple7) -> (rule7 % int5)) ((((((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule8 % int5)) ((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple6 ((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple7) -> (rule8 % int5)) triple7) -> (rule7 % int4)) ((((((triple9) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple6 ((((triple6) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((((triple9) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple7) -> (rule8 % int5)) ((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple7) -> (rule8 % int5)) ((((triple6) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
triple9
((triple6 triple7) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple7) -> (rule8 % int2)) triple7) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple6 ((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple7) -> (rule8 % int4)) ((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
triple10
((((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((triple6) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple7) -> (rule8 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule8 % int2)) ((triple2) -> (rule1 % int3))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4