Anne is cold. Anne is furry. Anne is kind. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is rough. Gary is young. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is young. Rough, green people are furry. Young people are green. If Anne is rough then Anne is blue. All kind, furry people are young. Furry people are cold. If Gary is blue and Gary is green then Gary is young. All furry, rough people are cold. All blue, cold people are kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Rough, green people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Anne is rough then Anne is blue.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "blue" "+"))
All kind, furry people are young.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Gary is blue and Gary is green then Gary is young.
((("Gary" "is" "blue" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "young" "+"))
All furry, rough people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All blue, cold people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Harry is green.
True
1
proof
[(triple13 OR ((triple16) -> rule2) OR ((((triple14 triple12) -> rule4)) -> rule2) OR ((((((triple10 triple11) -> rule8) triple12) -> rule4)) -> rule2) OR ((((((triple10 ((triple12) -> rule5)) -> rule8) triple12) -> rule4)) -> rule2) OR ((((((triple10 ((triple12 triple15) -> rule7)) -> rule8) triple12) -> rule4)) -> rule2))]
("Harry" "is" "green" "+")
triple13
((triple16) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple14 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple10 triple11) -> (rule8 % int3)) triple12) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple10 ((triple12) -> (rule5 % int4))) -> (rule8 % int3)) triple12) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple10 ((triple12 triple15) -> (rule7 % int4))) -> (rule8 % int3)) triple12) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not cold.
False
1
inv-proof
[(triple11 OR ((triple12) -> rule5) OR ((triple12 triple15) -> rule7) OR ((((triple15 triple13) -> rule1)) -> rule5) OR ((((triple15 triple13) -> rule1) triple15) -> rule7) OR ((((triple15 ((triple16) -> rule2)) -> rule1)) -> rule5) OR ((((triple15 ((triple16) -> rule2)) -> rule1) triple15) -> rule7))]
("Harry" "is" "cold" "-")
triple11
((triple12) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple12 triple15) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple15 triple13) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple15 triple13) -> (rule1 % int2)) triple15) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple15 ((triple16) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple15 ((triple16) -> (rule2 % int3))) -> (rule1 % int2)) triple15) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Gary is cold.
True
2
proof
[(((triple5) -> rule5) OR ((triple5 triple8) -> rule7) OR ((((triple8 triple6) -> rule1)) -> rule5) OR ((((triple8 triple6) -> rule1) triple8) -> rule7) OR ((((triple8 ((triple9) -> rule2)) -> rule1)) -> rule5) OR ((((triple8 ((triple9) -> rule2)) -> rule1) triple8) -> rule7))]
("Gary" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple5 triple8) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple8 triple6) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple8 ((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 ((triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Anne is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule4))]
("Anne" "is" "young" "-")
((triple3 triple2) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
True
4
proof
[(((((triple3 triple2) -> rule4)) -> rule2))]
("Anne" "is" "green" "+")
((((triple3 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not green.
False
4
inv-proof
[(((((triple3 triple2) -> rule4)) -> rule2))]
("Anne" "is" "green" "-")
((((triple3 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is cold.[(triple1 OR ((triple2) -> rule5))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5 OR ((triple8 triple6) -> rule1) OR ((triple8 ((triple9) -> rule2)) -> rule1))] Gary is green.[(triple6 OR ((triple9) -> rule2) OR ((((triple7 triple5) -> rule4)) -> rule2) OR ((((((triple4 ((triple5) -> rule5)) -> rule8) triple5) -> rule4)) -> rule2) OR ((((((triple4 ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4)) -> rule2))] Gary is kind.[(triple7 OR ((triple4 ((triple5) -> rule5)) -> rule8) OR ((triple4 ((triple5 triple8) -> rule7)) -> rule8) OR ((triple4 ((((triple8 triple6) -> rule1)) -> rule5)) -> rule8) OR ((triple4 ((((triple8 triple6) -> rule1) triple8) -> rule7)) -> rule8) OR ((triple4 ((((triple8 ((triple9) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((triple4 ((((triple8 ((triple9) -> rule2)) -> rule1) triple8) -> rule7)) -> rule8))] Gary is rough.[(triple8)] Gary is young.[(triple9 OR ((triple4 triple6) -> rule6) OR ((triple7 triple5) -> rule4) OR ((triple7 ((triple8 triple6) -> rule1)) -> rule4) OR ((((triple4 ((triple5) -> rule5)) -> rule8) triple5) -> rule4) OR ((((triple4 ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((triple4 ((triple5) -> rule5)) -> rule8) ((triple8 triple6) -> rule1)) -> rule4) OR ((((triple4 ((triple5 triple8) -> rule7)) -> rule8) ((triple8 triple6) -> rule1)) -> rule4) OR ((((triple4 ((((triple8 triple6) -> rule1)) -> rule5)) -> rule8) triple5) -> rule4) OR ((((triple4 ((((triple8 triple6) -> rule1) triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((triple4 ((((triple8 triple6) -> rule1)) -> rule5)) -> rule8) ((triple8 triple6) -> rule1)) -> rule4) OR ((((triple4 ((((triple8 triple6) -> rule1) triple8) -> rule7)) -> rule8) ((triple8 triple6) -> rule1)) -> rule4))] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple12) -> rule5) OR ((triple12 triple15) -> rule7) OR ((((triple15 triple13) -> rule1)) -> rule5) OR ((((triple15 triple13) -> rule1) triple15) -> rule7) OR ((((triple15 ((triple16) -> rule2)) -> rule1)) -> rule5) OR ((((triple15 ((triple16) -> rule2)) -> rule1) triple15) -> rule7))] Harry is furry.[(triple12 OR ((triple15 triple13) -> rule1) OR ((triple15 ((triple16) -> rule2)) -> rule1))] Harry is green.[(triple13 OR ((triple16) -> rule2) OR ((((triple14 triple12) -> rule4)) -> rule2) OR ((((((triple10 triple11) -> rule8) triple12) -> rule4)) -> rule2) OR ((((((triple10 ((triple12) -> rule5)) -> rule8) triple12) -> rule4)) -> rule2) OR ((((((triple10 ((triple12 triple15) -> rule7)) -> rule8) triple12) -> rule4)) -> rule2))] Harry is kind.[(triple14 OR ((triple10 triple11) -> rule8) OR ((triple10 ((triple12) -> rule5)) -> rule8) OR ((triple10 ((triple12 triple15) -> rule7)) -> rule8) OR ((triple10 ((((triple15 triple13) -> rule1)) -> rule5)) -> rule8) OR ((triple10 ((((triple15 triple13) -> rule1) triple15) -> rule7)) -> rule8) OR ((triple10 ((((triple15 ((triple16) -> rule2)) -> rule1)) -> rule5)) -> rule8) OR ((triple10 ((((triple15 ((triple16) -> rule2)) -> rule1) triple15) -> rule7)) -> rule8))] Harry is rough.[(triple15)] Harry is young.[(triple16 OR ((triple14 triple12) -> rule4) OR ((triple14 ((triple15 triple13) -> rule1)) -> rule4) OR ((((triple10 triple11) -> rule8) triple12) -> rule4) OR ((((triple10 triple11) -> rule8) ((triple15 triple13) -> rule1)) -> rule4) OR ((((triple10 ((triple12) -> rule5)) -> rule8) triple12) -> rule4) OR ((((triple10 ((triple12 triple15) -> rule7)) -> rule8) triple12) -> rule4) OR ((((triple10 ((triple12) -> rule5)) -> rule8) ((triple15 triple13) -> rule1)) -> rule4) OR ((((triple10 ((triple12 triple15) -> rule7)) -> rule8) ((triple15 triple13) -> rule1)) -> rule4) OR ((((triple10 ((((triple15 triple13) -> rule1)) -> rule5)) -> rule8) triple12) -> rule4) OR ((((triple10 ((((triple15 triple13) -> rule1) triple15) -> rule7)) -> rule8) triple12) -> rule4) OR ((((triple10 ((((triple15 triple13) -> rule1)) -> rule5)) -> rule8) ((triple15 triple13) -> rule1)) -> rule4) OR ((((triple10 ((((triple15 triple13) -> rule1) triple15) -> rule7)) -> rule8) ((triple15 triple13) -> rule1)) -> rule4))] @1: Anne is young.[(((triple3 triple2) -> rule4))] Gary is cold.[(((triple5) -> rule5) OR ((triple5 triple8) -> rule7) OR ((((triple8 triple6) -> rule1)) -> rule5) OR ((((triple8 triple6) -> rule1) triple8) -> rule7) OR ((((triple8 ((triple9) -> rule2)) -> rule1)) -> rule5) OR ((((triple8 ((triple9) -> rule2)) -> rule1) triple8) -> rule7))] @2: Anne is green.[(((((triple3 triple2) -> rule4)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple2) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((triple8 triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple8 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple9) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple7 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((((triple4 ((triple5) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple4 ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple7
((triple4 ((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple4 ((triple5 triple8) -> (rule7 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple4 ((((triple8 triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple4 ((((triple8 triple6) -> (rule1 % int3)) triple8) -> (rule7 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple4 ((((triple8 ((triple9) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((triple4 ((((triple8 ((triple9) -> (rule2 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
((triple4 triple6) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple7 triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple7 ((triple8 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple4 ((triple5) -> (rule5 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple4 ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple4 ((triple5) -> (rule5 % int4))) -> (rule8 % int3)) ((triple8 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple4 ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((triple8 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple4 ((((triple8 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple4 ((((triple8 triple6) -> (rule1 % int4)) triple8) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple4 ((((triple8 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple8 triple6) -> (rule1 % int4))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple4 ((((triple8 triple6) -> (rule1 % int4)) triple8) -> (rule7 % int3))) -> (rule8 % int2)) ((triple8 triple6) -> (rule1 % int4))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple12) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple12 triple15) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple15 triple13) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple15 triple13) -> (rule1 % int2)) triple15) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple15 ((triple16) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple15 ((triple16) -> (rule2 % int3))) -> (rule1 % int2)) triple15) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple12
((triple15 triple13) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple15 ((triple16) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple16) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple14 triple12) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple10 triple11) -> (rule8 % int3)) triple12) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple10 ((triple12) -> (rule5 % int4))) -> (rule8 % int3)) triple12) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple10 ((triple12 triple15) -> (rule7 % int4))) -> (rule8 % int3)) triple12) -> (rule4 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
triple14
((triple10 triple11) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple10 ((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple10 ((triple12 triple15) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple10 ((((triple15 triple13) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple10 ((((triple15 triple13) -> (rule1 % int3)) triple15) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple10 ((((triple15 ((triple16) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple10 ((((triple15 ((triple16) -> (rule2 % int4))) -> (rule1 % int3)) triple15) -> (rule7 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple14 triple12) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple14 ((triple15 triple13) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple10 triple11) -> (rule8 % int2)) triple12) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple10 triple11) -> (rule8 % int3)) ((triple15 triple13) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple10 ((triple12) -> (rule5 % int3))) -> (rule8 % int2)) triple12) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple10 ((triple12 triple15) -> (rule7 % int3))) -> (rule8 % int2)) triple12) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple10 ((triple12) -> (rule5 % int4))) -> (rule8 % int3)) ((triple15 triple13) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple10 ((triple12 triple15) -> (rule7 % int4))) -> (rule8 % int3)) ((triple15 triple13) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple10 ((((triple15 triple13) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple12) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple10 ((((triple15 triple13) -> (rule1 % int4)) triple15) -> (rule7 % int3))) -> (rule8 % int2)) triple12) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple10 ((((triple15 triple13) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple15 triple13) -> (rule1 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple10 ((((triple15 triple13) -> (rule1 % int4)) triple15) -> (rule7 % int3))) -> (rule8 % int2)) ((triple15 triple13) -> (rule1 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
((triple3 triple2) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple5 triple8) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple8 triple6) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple8 ((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple8 ((triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((((triple3 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2