Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. Harry is furry. Harry is green. Harry is rough. Harry is smart. Harry is young. If something is furry then it is kind. All cold things are young. Rough, green things are cold. Young things are rough. If Fiona is rough and Fiona is cold then Fiona is smart. Rough things are green. Furry, smart things are rough. All cold things are smart.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
All cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Rough, green things are cold.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If Fiona is rough and Fiona is cold then Fiona is smart.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "smart" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Furry, smart things are rough.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
All cold things are smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Harry is furry.
True
1
proof
[(triple6)]
("Harry" "is" "furry" "+")
triple6
Fiona is not young.
False
1
inv-proof
[(triple5 OR ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2) OR ((((((triple1 triple4) -> rule7) ((triple3) -> rule6)) -> rule3)) -> rule2) OR ((((triple3 ((((triple1 triple4) -> rule7)) -> rule6)) -> rule3)) -> rule2) OR ((((((triple1 triple4) -> rule7) ((((triple1 triple4) -> rule7)) -> rule6)) -> rule3)) -> rule2))]
("Fiona" "is" "young" "-")
triple5
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple1 triple4) -> (rule7 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple3 ((((triple1 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple1 triple4) -> (rule7 % int4)) ((((triple1 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2 OR ((triple1) -> rule1))] Fiona is rough.[(triple3 OR ((triple5) -> rule4) OR ((triple1 triple4) -> rule7))] Fiona is smart.[(triple4 OR ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule8) OR ((triple3 ((triple3 ((triple3) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5) -> rule4) ((triple3) -> rule6)) -> rule3)) -> rule8) OR ((triple3 ((((triple5) -> rule4) ((triple3) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((triple3 ((triple3) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((((triple5) -> rule4) ((triple3) -> rule6)) -> rule3)) -> rule5) OR ((((triple3 ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((triple3 ((triple3 ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((triple3 ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((triple3 ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple5) -> rule4) ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Fiona is young.[(triple5 OR ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2) OR ((((((triple1 triple4) -> rule7) ((triple3) -> rule6)) -> rule3)) -> rule2) OR ((((triple3 ((((triple1 triple4) -> rule7)) -> rule6)) -> rule3)) -> rule2) OR ((((((triple1 triple4) -> rule7) ((((triple1 triple4) -> rule7)) -> rule6)) -> rule3)) -> rule2))] Harry is furry.[(triple6)] Harry is green.[(triple7 OR ((triple8) -> rule6) OR ((((triple10) -> rule4)) -> rule6) OR ((((triple6 triple9) -> rule7)) -> rule6))] Harry is rough.[(triple8 OR ((triple10) -> rule4) OR ((triple6 triple9) -> rule7))] Harry is smart.[(triple9 OR ((((triple8 triple7) -> rule3)) -> rule8) OR ((((triple8 ((triple8) -> rule6)) -> rule3)) -> rule8) OR ((((((triple10) -> rule4) triple7) -> rule3)) -> rule8) OR ((((((triple10) -> rule4) ((triple8) -> rule6)) -> rule3)) -> rule8) OR ((((triple8 ((((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule8))] Harry is young.[(triple10 OR ((((triple8 triple7) -> rule3)) -> rule2) OR ((((triple8 ((triple8) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6 triple9) -> rule7) triple7) -> rule3)) -> rule2) OR ((((((triple6 triple9) -> rule7) ((triple8) -> rule6)) -> rule3)) -> rule2) OR ((((triple8 ((((triple6 triple9) -> rule7)) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6 triple9) -> rule7) ((((triple6 triple9) -> rule7)) -> rule6)) -> rule3)) -> rule2))] @1: Fiona is green.[(((triple3) -> rule6) OR ((((triple5) -> rule4)) -> rule6) OR ((((triple1 triple4) -> rule7)) -> rule6))] Harry is cold.[(((triple8 triple7) -> rule3) OR ((triple8 ((triple8) -> rule6)) -> rule3) OR ((((triple10) -> rule4) triple7) -> rule3) OR ((((triple6 triple9) -> rule7) triple7) -> rule3) OR ((((triple10) -> rule4) ((triple8) -> rule6)) -> rule3) OR ((((triple6 triple9) -> rule7) ((triple8) -> rule6)) -> rule3) OR ((triple8 ((((triple10) -> rule4)) -> rule6)) -> rule3) OR ((triple8 ((((triple6 triple9) -> rule7)) -> rule6)) -> rule3) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule6)) -> rule3) OR ((((triple10) -> rule4) ((((triple6 triple9) -> rule7)) -> rule6)) -> rule3) OR ((((triple6 triple9) -> rule7) ((((triple10) -> rule4)) -> rule6)) -> rule3) OR ((((triple6 triple9) -> rule7) ((((triple6 triple9) -> rule7)) -> rule6)) -> rule3))] Harry is kind.[(((triple6) -> rule1))] @2: Fiona is cold.[(((triple3 ((triple3) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((triple3) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((triple3 ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((triple3 ((((triple1 triple4) -> rule7)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((((triple1 triple4) -> rule7)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((triple1 triple4) -> rule7)) -> rule6)) -> rule3))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
((triple1) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
((triple5) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple1 triple4) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((triple3 ((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple5) -> (rule4 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((triple3 ((((triple5) -> (rule4 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple5) -> (rule4 % int4)) ((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple3 ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((triple3 ((triple3 ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((triple3 ((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple5) -> (rule4 % int4)) ((triple3 ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple1 triple4) -> (rule7 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple3 ((((triple1 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple1 triple4) -> (rule7 % int4)) ((((triple1 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
((triple8) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple6 triple9) -> (rule7 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple8
((triple10) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple6 triple9) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple9
((((triple8 triple7) -> (rule3 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple8 ((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple10) -> (rule4 % int3)) triple7) -> (rule3 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple10) -> (rule4 % int4)) ((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple8 ((((triple10) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple10) -> (rule4 % int4)) ((((triple10) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
triple10
((((triple8 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple8 ((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple6 triple9) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple6 triple9) -> (rule7 % int4)) ((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple8 ((((triple6 triple9) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple6 triple9) -> (rule7 % int4)) ((((triple6 triple9) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple1 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple8 triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple8 ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple10) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple6 triple9) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple10) -> (rule4 % int3)) ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple6 triple9) -> (rule7 % int3)) ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple8 ((((triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple8 ((((triple6 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple10) -> (rule4 % int3)) ((((triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple10) -> (rule4 % int3)) ((((triple6 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple6 triple9) -> (rule7 % int3)) ((((triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple6 triple9) -> (rule7 % int3)) ((((triple6 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((triple6) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3 ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple1 triple4) -> (rule7 % int3)) ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple3 ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple3 ((((triple1 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple1 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple1 triple4) -> (rule7 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple1 triple4) -> (rule7 % int3)) ((((triple1 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3