Dave is furry. Erin is nice. Erin is rough. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Harry is big. Harry is nice. If something is cold and nice then it is kind. If something is nice then it is red. Kind things are red. Big things are rough. All big things are cold. If something is furry and cold then it is big. All rough things are nice. All nice, red things are furry.
Dave is furry.
("Dave" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If something is cold and nice then it is kind.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is nice then it is red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is furry and cold then it is big.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
All rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
All nice, red things are furry.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Fiona is big.
True
1
proof
[(triple4 OR ((triple6 triple5) -> rule6) OR ((((((triple8) -> rule7) ((triple7) -> rule3)) -> rule8) triple5) -> rule6) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule8) triple5) -> rule6) OR ((((((triple8) -> rule7) ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) triple5) -> rule6))]
("Fiona" "is" "big" "+")
triple4
((triple6 triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple8) -> (rule7 % int4)) ((triple7) -> (rule3 % int3))) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8) -> (rule7 % int4)) ((((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8) -> (rule7 % int5)) ((((triple5 ((triple8) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Dave is not furry.
False
1
inv-proof
[(triple1)]
("Dave" "is" "furry" "-")
triple1
@0: Dave is furry.[(triple1)] Erin is nice.[(triple2 OR ((triple3) -> rule7))] Erin is rough.[(triple3)] Fiona is big.[(triple4 OR ((triple6 triple5) -> rule6) OR ((((((triple8) -> rule7) ((triple7) -> rule3)) -> rule8) triple5) -> rule6) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule8) triple5) -> rule6) OR ((((((triple8) -> rule7) ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) triple5) -> rule6))] Fiona is cold.[(triple5 OR ((triple4) -> rule5))] Fiona is furry.[(triple6 OR ((((triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule8) OR ((((triple8) -> rule7) ((((((triple4) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((((triple8) -> rule7) ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((((((triple4) -> rule5) ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((((triple4) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((((triple4) -> rule5) ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((((triple5 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((((((triple4) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((triple5 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((((triple4) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8))] Fiona is kind.[(triple7 OR ((triple5 ((triple8) -> rule7)) -> rule1) OR ((((triple4) -> rule5) ((triple8) -> rule7)) -> rule1) OR ((triple5 ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((((triple4) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((triple5 ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((triple4) -> rule5) ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule1))] Fiona is rough.[(triple8 OR ((triple4) -> rule4) OR ((((triple6 triple5) -> rule6)) -> rule4))] Harry is big.[(triple9)] Harry is nice.[(triple10 OR ((((triple9) -> rule4)) -> rule7))] @1: Erin is red.[(((triple2) -> rule2) OR ((((triple3) -> rule7)) -> rule2))] Fiona is nice.[(((triple8) -> rule7) OR ((((triple4) -> rule4)) -> rule7) OR ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7))] Fiona is red.[(((triple7) -> rule3) OR ((((triple8) -> rule7)) -> rule2) OR ((((((triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3) OR ((((((triple4) -> rule5) ((triple8) -> rule7)) -> rule1)) -> rule3) OR ((((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule2) OR ((((triple5 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3) OR ((((((triple4) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3) OR ((((triple5 ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule1)) -> rule3) OR ((((((triple4) -> rule5) ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule1)) -> rule3))] Harry is cold.[(((triple9) -> rule5))] Harry is red.[(((triple10) -> rule2) OR ((((((triple9) -> rule4)) -> rule7)) -> rule2) OR ((((((triple9) -> rule5) triple10) -> rule1)) -> rule3) OR ((((((triple9) -> rule5) ((((triple9) -> rule4)) -> rule7)) -> rule1)) -> rule3))] Harry is rough.[(((triple9) -> rule4))] @2: Erin is furry.[(((triple2 ((triple2) -> rule2)) -> rule8) OR ((((triple3) -> rule7) ((triple2) -> rule2)) -> rule8) OR ((triple2 ((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule2)) -> rule8))] Harry is furry.[(((triple10 ((triple10) -> rule2)) -> rule8) OR ((((((triple9) -> rule4)) -> rule7) ((triple10) -> rule2)) -> rule8) OR ((triple10 ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((triple10 ((((((triple9) -> rule5) triple10) -> rule1)) -> rule3)) -> rule8) OR ((((((triple9) -> rule4)) -> rule7) ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((((((triple9) -> rule4)) -> rule7) ((((((triple9) -> rule5) triple10) -> rule1)) -> rule3)) -> rule8) OR ((triple10 ((((((triple9) -> rule5) ((((triple9) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple9) -> rule4)) -> rule7) ((((((triple9) -> rule5) ((((triple9) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8))] Harry is kind.[(((((triple9) -> rule5) triple10) -> rule1) OR ((((triple9) -> rule5) ((((triple9) -> rule4)) -> rule7)) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
((triple3) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((triple6 triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple8) -> (rule7 % int4)) ((triple7) -> (rule3 % int3))) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8) -> (rule7 % int4)) ((((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple8) -> (rule7 % int5)) ((((triple5 ((triple8) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
((triple4) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((((triple8) -> (rule7 % int3)) ((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple8) -> (rule7 % int3)) ((((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple4) -> (rule4 % int4))) -> (rule7 % int3)) ((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple8) -> (rule7 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple8) -> (rule7 % int4)) ((((triple5 ((triple8) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple8) -> (rule7 % int5)) ((((((triple4) -> (rule5 % int4)) ((triple8) -> (rule7 % int5))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple4) -> (rule4 % int4))) -> (rule7 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple4) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple5 ((triple8) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple4) -> (rule4 % int6))) -> (rule7 % int5)) ((((((triple4) -> (rule5 % int4)) ((triple8) -> (rule7 % int5))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((triple8) -> (rule7 % int5)) ((((triple5 ((((triple4) -> (rule4 % int4))) -> (rule7 % int5))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((triple8) -> (rule7 % int6)) ((((((triple4) -> (rule5 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule7 % int6))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
int6
((((((triple4) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple5 ((((triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple4) -> (rule4 % int6))) -> (rule7 % int5)) ((((((triple4) -> (rule5 % int4)) ((((triple4) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((triple5 ((triple8) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple8) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple5 ((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple4) -> (rule5 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple5 ((((((triple6 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4) -> (rule5 % int5)) ((((((triple6 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple4) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple6 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((((triple9) -> (rule4 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple8) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple6 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple5 ((triple8) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple4) -> (rule5 % int4)) ((triple8) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple6 triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple5 ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple4) -> (rule5 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple5 ((((((triple6 triple5) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple4) -> (rule5 % int6)) ((((((triple6 triple5) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
Harry is cold.
("Harry" "is" "cold" "+")
((triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((((triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple9) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple9) -> (rule5 % int5)) ((((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
((triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple2 ((((triple3) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple3) -> (rule7 % int3)) ((((triple3) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple9) -> (rule4 % int4))) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((triple10 ((((((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((triple10 ((((((triple9) -> (rule5 % int4)) triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple9) -> (rule4 % int4))) -> (rule7 % int3)) ((((((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple9) -> (rule4 % int6))) -> (rule7 % int5)) ((((((triple9) -> (rule5 % int4)) triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
int6
((triple10 ((((((triple9) -> (rule5 % int6)) ((((triple9) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple9) -> (rule4 % int6))) -> (rule7 % int5)) ((((((triple9) -> (rule5 % int4)) ((((triple9) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
int6
Harry is kind.
("Harry" "is" "kind" "+")
((((triple9) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple9) -> (rule5 % int4)) ((((triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4