Fiona is big. Fiona is cold. Fiona is nice. Fiona is red. Fiona is smart. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is red. Harry is smart. Cold, smart things are furry. All cold things are red. If something is smart and furry then it is nice. All cold, big things are furry. Big, smart things are cold. If something is nice and furry then it is blue.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Cold, smart things are furry.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is smart and furry then it is nice.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All cold, big things are furry.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Big, smart things are cold.
((("something" "is" "big" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
If something is nice and furry then it is blue.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Fiona is cold.
True
1
proof
[(triple2 OR ((triple1 triple5) -> rule5))]
("Fiona" "is" "cold" "+")
triple2
((triple1 triple5) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not smart.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "smart" "-")
triple5
Fiona is furry.
True
3
proof
[(((triple2 triple1) -> rule4) OR ((triple2 triple5) -> rule1) OR ((((triple1 triple5) -> rule5) triple1) -> rule4) OR ((((triple1 triple5) -> rule5) triple5) -> rule1))]
("Fiona" "is" "furry" "+")
((triple2 triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple2 triple5) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((triple2 triple1) -> rule4) OR ((triple2 triple5) -> rule1) OR ((((triple1 triple5) -> rule5) triple1) -> rule4) OR ((((triple1 triple5) -> rule5) triple5) -> rule1))]
("Fiona" "is" "furry" "-")
((triple2 triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple2 triple5) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
True
5
proof
[(((triple3 ((triple2 triple1) -> rule4)) -> rule6) OR ((triple3 ((triple2 triple5) -> rule1)) -> rule6) OR ((triple3 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((triple3 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6))]
("Fiona" "is" "blue" "+")
((triple3 ((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple3 ((triple2 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple3 ((((triple1 triple5) -> (rule5 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple3 ((((triple1 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple1) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is not blue.
False
5
inv-proof
[(((triple3 ((triple2 triple1) -> rule4)) -> rule6) OR ((triple3 ((triple2 triple5) -> rule1)) -> rule6) OR ((triple3 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((triple3 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6))]
("Fiona" "is" "blue" "-")
((triple3 ((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple3 ((triple2 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple3 ((((triple1 triple5) -> (rule5 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple3 ((((triple1 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple1) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2 OR ((triple1 triple5) -> rule5))] Fiona is nice.[(triple3 OR ((triple5 ((triple2 triple1) -> rule4)) -> rule3) OR ((triple5 ((triple2 triple5) -> rule1)) -> rule3) OR ((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) OR ((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3))] Fiona is red.[(triple4 OR ((triple2) -> rule2) OR ((((triple1 triple5) -> rule5)) -> rule2))] Fiona is smart.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7 OR ((triple10 triple9) -> rule6) OR ((triple10 ((triple8 triple12) -> rule1)) -> rule6) OR ((triple10 ((triple8 triple6) -> rule4)) -> rule6) OR ((((triple12 triple9) -> rule3) triple9) -> rule6) OR ((((triple12 triple9) -> rule3) ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple12 triple9) -> rule3) ((triple8 triple6) -> rule4)) -> rule6) OR ((triple10 ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule6) OR ((triple10 ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule6) OR ((((triple12 ((triple8 triple12) -> rule1)) -> rule3) triple9) -> rule6) OR ((((triple12 ((triple8 triple6) -> rule4)) -> rule3) triple9) -> rule6) OR ((((triple12 triple9) -> rule3) ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule6) OR ((((triple12 triple9) -> rule3) ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule6) OR ((((triple12 ((triple8 triple12) -> rule1)) -> rule3) ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple12 ((triple8 triple12) -> rule1)) -> rule3) ((triple8 triple6) -> rule4)) -> rule6) OR ((((triple12 ((triple8 triple6) -> rule4)) -> rule3) ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple12 ((triple8 triple6) -> rule4)) -> rule3) ((triple8 triple6) -> rule4)) -> rule6) OR ((((triple12 ((triple8 triple12) -> rule1)) -> rule3) ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule6) OR ((((triple12 ((triple8 triple12) -> rule1)) -> rule3) ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule6) OR ((((triple12 ((triple8 triple6) -> rule4)) -> rule3) ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule6) OR ((((triple12 ((triple8 triple6) -> rule4)) -> rule3) ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule3) triple9) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule3) triple9) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule3) ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule3) ((triple8 triple6) -> rule4)) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule3) ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule3) ((triple8 triple6) -> rule4)) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule3) ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule3) ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule3) ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule6) OR ((((triple12 ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule3) ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule6))] Harry is cold.[(triple8 OR ((triple6 triple12) -> rule5))] Harry is furry.[(triple9 OR ((triple8 triple12) -> rule1) OR ((triple8 triple6) -> rule4) OR ((((triple6 triple12) -> rule5) triple12) -> rule1) OR ((((triple6 triple12) -> rule5) triple6) -> rule4))] Harry is nice.[(triple10 OR ((triple12 triple9) -> rule3) OR ((triple12 ((triple8 triple12) -> rule1)) -> rule3) OR ((triple12 ((triple8 triple6) -> rule4)) -> rule3) OR ((triple12 ((((triple6 triple12) -> rule5) triple12) -> rule1)) -> rule3) OR ((triple12 ((((triple6 triple12) -> rule5) triple6) -> rule4)) -> rule3))] Harry is red.[(triple11 OR ((triple8) -> rule2) OR ((((triple6 triple12) -> rule5)) -> rule2))] Harry is smart.[(triple12)] @1: Fiona is furry.[(((triple2 triple1) -> rule4) OR ((triple2 triple5) -> rule1) OR ((((triple1 triple5) -> rule5) triple1) -> rule4) OR ((((triple1 triple5) -> rule5) triple5) -> rule1))] @2: Fiona is blue.[(((triple3 ((triple2 triple1) -> rule4)) -> rule6) OR ((triple3 ((triple2 triple5) -> rule1)) -> rule6) OR ((triple3 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((triple3 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((triple2 triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple2 triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple2 triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple1) -> rule4)) -> rule6) OR ((((triple5 ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple1 triple5) -> rule5) triple5) -> rule1)) -> rule6))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
((triple1 triple5) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
((triple5 ((triple2 triple1) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple5 ((triple2 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple5 ((((triple1 triple5) -> (rule5 % int3)) triple1) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple5 ((((triple1 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
((triple2) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple1 triple5) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
((triple10 triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple10 ((triple8 triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple10 ((triple8 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple12 triple9) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple12 triple9) -> (rule3 % int3)) ((triple8 triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple12 triple9) -> (rule3 % int3)) ((triple8 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple10 ((((triple6 triple12) -> (rule5 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple10 ((((triple6 triple12) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple12 ((triple8 triple12) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 ((triple8 triple6) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 triple9) -> (rule3 % int4)) ((((triple6 triple12) -> (rule5 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple12 triple9) -> (rule3 % int4)) ((((triple6 triple12) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple12 ((triple8 triple12) -> (rule1 % int3))) -> (rule3 % int2)) ((triple8 triple12) -> (rule1 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 ((triple8 triple12) -> (rule1 % int3))) -> (rule3 % int2)) ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 ((triple8 triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8 triple12) -> (rule1 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 ((triple8 triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple12 ((triple8 triple12) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple6 triple12) -> (rule5 % int2)) triple12) -> (rule1 % int4))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple12 ((triple8 triple12) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple6 triple12) -> (rule5 % int2)) triple6) -> (rule4 % int4))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple12 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple6 triple12) -> (rule5 % int2)) triple12) -> (rule1 % int4))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple12 ((triple8 triple6) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple6 triple12) -> (rule5 % int2)) triple6) -> (rule4 % int4))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2)) ((triple8 triple12) -> (rule1 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2)) ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8 triple12) -> (rule1 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple6 triple12) -> (rule5 % int4)) triple12) -> (rule1 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple6 triple12) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple6 triple12) -> (rule5 % int4)) triple12) -> (rule1 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple12 ((((triple6 triple12) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple6 triple12) -> (rule5 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple8
((triple6 triple12) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple8 triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple8 triple6) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple6 triple12) -> (rule5 % int2)) triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple6 triple12) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((triple12 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple12 ((triple8 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple12 ((triple8 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple12 ((((triple6 triple12) -> (rule5 % int3)) triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple12 ((((triple6 triple12) -> (rule5 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple11
((triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple6 triple12) -> (rule5 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2 triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple2 triple5) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3 ((triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple3 ((triple2 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple3 ((((triple1 triple5) -> (rule5 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple3 ((((triple1 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5 ((triple2 triple1) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple1) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple1) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((triple2 triple5) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int4))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2 triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple5 ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple1 triple5) -> (rule5 % int4)) triple5) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4