Anne is blue. Anne is furry. Anne is rough. Anne is smart. Dave is cold. Dave is furry. Dave is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is rough. Fiona is smart. Harry is furry. Harry is smart. Smart, green things are big. All cold things are furry. If Harry is smart and Harry is cold then Harry is rough. If something is smart then it is rough. Smart things are furry. If Harry is furry then Harry is rough. If something is rough then it is blue. All cold things are green. Blue, smart things are cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Smart, green things are big.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
All cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If Harry is smart and Harry is cold then Harry is rough.
((("Harry" "is" "smart" "+") ("Harry" "is" "cold" "+")) -> ("Harry" "is" "rough" "+"))
If something is smart then it is rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If Harry is furry then Harry is rough.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "rough" "+"))
If something is rough then it is blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Blue, smart things are cold.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Fiona is green.
True
1
proof
[(triple10 OR ((((((triple11) -> rule7) triple12) -> rule9)) -> rule8) OR ((((((((triple12) -> rule4)) -> rule7) triple12) -> rule9)) -> rule8))]
("Fiona" "is" "green" "+")
triple10
((((((triple11) -> (rule7 % int3)) triple12) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple12) -> (rule4 % int4))) -> (rule7 % int3)) triple12) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Harry is not smart.
False
1
inv-proof
[(triple14)]
("Harry" "is" "smart" "-")
triple14
Dave is rough.
True
2
proof
[(((triple7) -> rule4))]
("Dave" "is" "rough" "+")
((triple7) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple7) -> rule4))]
("Dave" "is" "rough" "-")
((triple7) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is blue.
True
3
proof
[(((((triple13) -> rule6)) -> rule7) OR ((((triple14) -> rule4)) -> rule7) OR ((((((triple14) -> rule5)) -> rule6)) -> rule7))]
("Harry" "is" "blue" "+")
((((triple13) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple14) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Dave is not blue.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule7))]
("Dave" "is" "blue" "-")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Anne is big.
True
6
proof
[(((triple4 ((((triple1 triple4) -> rule9)) -> rule8)) -> rule1) OR ((triple4 ((((((triple3) -> rule7) triple4) -> rule9)) -> rule8)) -> rule1) OR ((triple4 ((((((((triple4) -> rule4)) -> rule7) triple4) -> rule9)) -> rule8)) -> rule1))]
("Anne" "is" "big" "+")
((triple4 ((((triple1 triple4) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple4 ((((((triple3) -> (rule7 % int4)) triple4) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((triple4 ((((((((triple4) -> (rule4 % int5))) -> (rule7 % int4)) triple4) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Harry is not cold.
False
5
inv-proof
[(((((((triple13) -> rule6)) -> rule7) triple14) -> rule9) OR ((((((triple14) -> rule4)) -> rule7) triple14) -> rule9) OR ((((((((triple14) -> rule5)) -> rule6)) -> rule7) triple14) -> rule9))]
("Harry" "is" "cold" "-")
((((((triple13) -> (rule6 % int3))) -> (rule7 % int2)) triple14) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple14) -> (rule4 % int3))) -> (rule7 % int2)) triple14) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((((triple14) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple14) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is green.
True
6
proof
[(((((((((triple13) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8) OR ((((((((triple14) -> rule4)) -> rule7) triple14) -> rule9)) -> rule8) OR ((((((((((triple14) -> rule5)) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8))]
("Harry" "is" "green" "+")
((((((((triple13) -> (rule6 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple14) -> (rule4 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((((triple14) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is not green.
False
6
inv-proof
[(((((((((triple13) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8) OR ((((((((triple14) -> rule4)) -> rule7) triple14) -> rule9)) -> rule8) OR ((((((((((triple14) -> rule5)) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8))]
("Harry" "is" "green" "-")
((((((((triple13) -> (rule6 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple14) -> (rule4 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((((triple14) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is big.
True
8
proof
[(((triple14 ((((((((triple13) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1) OR ((triple14 ((((((((triple14) -> rule4)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1) OR ((triple14 ((((((((((triple14) -> rule5)) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1))]
("Harry" "is" "big" "+")
((triple14 ((((((((triple13) -> (rule6 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((triple14 ((((((((triple14) -> (rule4 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((triple14 ((((((((((triple14) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is not big.
False
8
inv-proof
[(((triple14 ((((((((triple13) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1) OR ((triple14 ((((((((triple14) -> rule4)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1) OR ((triple14 ((((((((((triple14) -> rule5)) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1))]
("Harry" "is" "big" "-")
((triple14 ((((((((triple13) -> (rule6 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((triple14 ((((((((triple14) -> (rule4 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((triple14 ((((((((((triple14) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
@0: Anne is blue.[(triple1 OR ((triple3) -> rule7) OR ((((triple4) -> rule4)) -> rule7))] Anne is furry.[(triple2 OR ((triple4) -> rule5) OR ((((triple1 triple4) -> rule9)) -> rule2) OR ((((((triple3) -> rule7) triple4) -> rule9)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule7) triple4) -> rule9)) -> rule2))] Anne is rough.[(triple3 OR ((triple4) -> rule4))] Anne is smart.[(triple4)] Dave is cold.[(triple5 OR ((((((triple7) -> rule4)) -> rule7) triple7) -> rule9))] Dave is furry.[(triple6 OR ((triple5) -> rule2) OR ((triple7) -> rule5) OR ((((((((triple7) -> rule4)) -> rule7) triple7) -> rule9)) -> rule2))] Dave is smart.[(triple7)] Fiona is big.[(triple8 OR ((triple12 triple10) -> rule1) OR ((triple12 ((((((triple11) -> rule7) triple12) -> rule9)) -> rule8)) -> rule1) OR ((triple12 ((((((((triple12) -> rule4)) -> rule7) triple12) -> rule9)) -> rule8)) -> rule1))] Fiona is furry.[(triple9 OR ((triple12) -> rule5) OR ((((((triple11) -> rule7) triple12) -> rule9)) -> rule2) OR ((((((((triple12) -> rule4)) -> rule7) triple12) -> rule9)) -> rule2))] Fiona is green.[(triple10 OR ((((((triple11) -> rule7) triple12) -> rule9)) -> rule8) OR ((((((((triple12) -> rule4)) -> rule7) triple12) -> rule9)) -> rule8))] Fiona is rough.[(triple11 OR ((triple12) -> rule4))] Fiona is smart.[(triple12)] Harry is furry.[(triple13 OR ((triple14) -> rule5) OR ((((((((triple14) -> rule4)) -> rule7) triple14) -> rule9)) -> rule2))] Harry is smart.[(triple14)] @1: Anne is cold.[(((triple1 triple4) -> rule9) OR ((((triple3) -> rule7) triple4) -> rule9) OR ((((((triple4) -> rule4)) -> rule7) triple4) -> rule9))] Dave is green.[(((triple5) -> rule8) OR ((((((((triple7) -> rule4)) -> rule7) triple7) -> rule9)) -> rule8))] Dave is rough.[(((triple7) -> rule4))] Fiona is blue.[(((triple11) -> rule7) OR ((((triple12) -> rule4)) -> rule7))] Harry is rough.[(((triple13) -> rule6) OR ((triple14) -> rule4) OR ((((triple14) -> rule5)) -> rule6))] @2: Anne is green.[(((((triple1 triple4) -> rule9)) -> rule8) OR ((((((triple3) -> rule7) triple4) -> rule9)) -> rule8) OR ((((((((triple4) -> rule4)) -> rule7) triple4) -> rule9)) -> rule8))] Dave is big.[(((triple7 ((triple5) -> rule8)) -> rule1) OR ((triple7 ((((((((triple7) -> rule4)) -> rule7) triple7) -> rule9)) -> rule8)) -> rule1))] Dave is blue.[(((((triple7) -> rule4)) -> rule7))] Fiona is cold.[(((((triple11) -> rule7) triple12) -> rule9) OR ((((((triple12) -> rule4)) -> rule7) triple12) -> rule9))] Harry is blue.[(((((triple13) -> rule6)) -> rule7) OR ((((triple14) -> rule4)) -> rule7) OR ((((((triple14) -> rule5)) -> rule6)) -> rule7))] @3: Anne is big.[(((triple4 ((((triple1 triple4) -> rule9)) -> rule8)) -> rule1) OR ((triple4 ((((((triple3) -> rule7) triple4) -> rule9)) -> rule8)) -> rule1) OR ((triple4 ((((((((triple4) -> rule4)) -> rule7) triple4) -> rule9)) -> rule8)) -> rule1))] Harry is cold.[(((((((triple13) -> rule6)) -> rule7) triple14) -> rule9) OR ((((((triple14) -> rule4)) -> rule7) triple14) -> rule9) OR ((((((((triple14) -> rule5)) -> rule6)) -> rule7) triple14) -> rule9))] @4: Harry is green.[(((((((((triple13) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8) OR ((((((((triple14) -> rule4)) -> rule7) triple14) -> rule9)) -> rule8) OR ((((((((((triple14) -> rule5)) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8))] @5: Harry is big.[(((triple14 ((((((((triple13) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1) OR ((triple14 ((((((((triple14) -> rule4)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1) OR ((triple14 ((((((((((triple14) -> rule5)) -> rule6)) -> rule7) triple14) -> rule9)) -> rule8)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple3) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple1 triple4) -> (rule9 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple3) -> (rule7 % int3)) triple4) -> (rule9 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((((triple4) -> (rule4 % int4))) -> (rule7 % int3)) triple4) -> (rule9 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple4) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
((((((triple7) -> (rule4 % int3))) -> (rule7 % int2)) triple7) -> (rule9 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
triple6
((triple5) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple7) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((((((triple7) -> (rule4 % int4))) -> (rule7 % int3)) triple7) -> (rule9 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
((triple12 triple10) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple12 ((((((triple11) -> (rule7 % int4)) triple12) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple12 ((((((((triple12) -> (rule4 % int5))) -> (rule7 % int4)) triple12) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple12) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((((triple11) -> (rule7 % int3)) triple12) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple12) -> (rule4 % int4))) -> (rule7 % int3)) triple12) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((((((triple11) -> (rule7 % int3)) triple12) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple12) -> (rule4 % int4))) -> (rule7 % int3)) triple12) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
((triple12) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
((triple14) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((((((triple14) -> (rule4 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Anne is cold.
("Anne" "is" "cold" "+")
((triple1 triple4) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple3) -> (rule7 % int2)) triple4) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule7 % int2)) triple4) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((triple5) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((((((triple7) -> (rule4 % int4))) -> (rule7 % int3)) triple7) -> (rule9 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
((triple7) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple11) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple13) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple14) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((triple1 triple4) -> (rule9 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple3) -> (rule7 % int3)) triple4) -> (rule9 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((((triple4) -> (rule4 % int4))) -> (rule7 % int3)) triple4) -> (rule9 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((triple7 ((triple5) -> (rule8 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple7 ((((((((triple7) -> (rule4 % int5))) -> (rule7 % int4)) triple7) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple11) -> (rule7 % int2)) triple12) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple12) -> (rule4 % int3))) -> (rule7 % int2)) triple12) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((triple13) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple14) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((triple4 ((((triple1 triple4) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple4 ((((((triple3) -> (rule7 % int4)) triple4) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((triple4 ((((((((triple4) -> (rule4 % int5))) -> (rule7 % int4)) triple4) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple13) -> (rule6 % int3))) -> (rule7 % int2)) triple14) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple14) -> (rule4 % int3))) -> (rule7 % int2)) triple14) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((((triple14) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple14) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
((((((((triple13) -> (rule6 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple14) -> (rule4 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((((triple14) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) triple14) -> (rule9 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
((triple14 ((((((((triple13) -> (rule6 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((triple14 ((((((((triple14) -> (rule4 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((triple14 ((((((((((triple14) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule7 % int4)) triple14) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6