Anne is nice. Bob is blue. Gary is cold. Harry is blue. Harry is cold. Harry is green. Harry is nice. Nice people are kind. Green, kind people are rough. If someone is cold then they are nice. Blue people are young. All nice, kind people are green. If someone is young then they are nice. Blue, cold people are green.
Anne is nice.
("Anne" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Green, kind people are rough.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All nice, kind people are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Blue, cold people are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Harry is green.
True
1
proof
[(triple6 OR ((triple4 triple5) -> rule7) OR ((triple7 ((triple7) -> rule1)) -> rule5) OR ((((triple5) -> rule3) ((triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((triple7 ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) OR ((((triple5) -> rule3) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule6) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5))]
("Harry" "is" "green" "+")
triple6
((triple4 triple5) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple7 ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple5) -> (rule3 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple7 ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple5) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple7 ((((((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Bob is young.
True
2
proof
[(((triple2) -> rule4))]
("Bob" "is" "young" "+")
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple2) -> rule4))]
("Bob" "is" "young" "-")
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
True
3
proof
[(((((triple2) -> rule4)) -> rule6))]
("Bob" "is" "nice" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Anne is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule5))]
("Anne" "is" "green" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Gary is green.
True
6
proof
[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule1)) -> rule5))]
("Gary" "is" "green" "+")
((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Bob is not kind.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule6)) -> rule1))]
("Bob" "is" "kind" "-")
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
True
8
proof
[(((((((triple2) -> rule4)) -> rule6) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule5))]
("Bob" "is" "green" "+")
((((((triple2) -> (rule4 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Gary is not rough.
False
10
inv-proof
[(((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule2))]
("Gary" "is" "rough" "-")
((((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Bob is rough.
True
13
proof
[(((((((((triple2) -> rule4)) -> rule6) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule2))]
("Bob" "is" "rough" "+")
((((((((triple2) -> (rule4 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple2) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is not rough.
False
13
inv-proof
[(((((((((triple2) -> rule4)) -> rule6) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule2))]
("Bob" "is" "rough" "-")
((((((((triple2) -> (rule4 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple2) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "young" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Bob is blue.[(triple2)] Gary is cold.[(triple3)] Harry is blue.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6 OR ((triple4 triple5) -> rule7) OR ((triple7 ((triple7) -> rule1)) -> rule5) OR ((((triple5) -> rule3) ((triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((triple7 ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) OR ((((triple5) -> rule3) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule6) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5))] Harry is nice.[(triple7 OR ((triple5) -> rule3) OR ((((triple4) -> rule4)) -> rule6))] @1: Anne is kind.[(((triple1) -> rule1))] Bob is young.[(((triple2) -> rule4))] Gary is nice.[(((triple3) -> rule3))] Harry is kind.[(((triple7) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule6)) -> rule1))] Harry is young.[(((triple4) -> rule4))] @2: Anne is green.[(((triple1 ((triple1) -> rule1)) -> rule5))] Bob is nice.[(((((triple2) -> rule4)) -> rule6))] Gary is kind.[(((((triple3) -> rule3)) -> rule1))] Harry is rough.[(((triple6 ((triple7) -> rule1)) -> rule2) OR ((((triple4 triple5) -> rule7) ((triple7) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((triple4 triple5) -> rule7) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((triple7 ((triple7) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((triple7) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((triple6 ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((triple4 triple5) -> rule7) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((triple7 ((((triple5) -> rule3)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((triple7 ((triple7) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((triple7 ((((triple5) -> rule3)) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((triple7 ((((triple5) -> rule3)) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((triple7) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((triple7) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((triple7) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((triple7 ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((triple7 ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((triple7 ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((((triple5) -> rule3) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule6) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((((triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2))] @3: Anne is rough.[(((((triple1 ((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule2))] Bob is kind.[(((((((triple2) -> rule4)) -> rule6)) -> rule1))] Gary is green.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule1)) -> rule5))] @4: Bob is green.[(((((((triple2) -> rule4)) -> rule6) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule5))] Gary is rough.[(((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule1)) -> rule5) ((((triple3) -> rule3)) -> rule1)) -> rule2))] @5: Bob is rough.[(((((((((triple2) -> rule4)) -> rule6) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule5) ((((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
((triple4 triple5) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple7 ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple5) -> (rule3 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple7 ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple5) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple7 ((((((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((((((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple7
((triple5) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple7) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple4) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple6 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple4 triple5) -> (rule7 % int3)) ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple6 ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple4 triple5) -> (rule7 % int4)) ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule3 % int2))) -> (rule1 % int4))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple5) -> (rule3 % int4)) ((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple5) -> (rule3 % int4)) ((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple6 ((((((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple4 triple5) -> (rule7 % int5)) ((((((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple7 ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple7 ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule4 % int2))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple5) -> (rule3 % int5)) ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule4 % int2))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple5) -> (rule3 % int5)) ((((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule4 % int2))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple7 ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple5) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple7 ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple5) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int5))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple5) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple4) -> (rule4 % int4))) -> (rule6 % int5))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple4) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1) -> (rule1 % int3))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((((triple2) -> (rule4 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple3) -> (rule3 % int4)) ((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((((((((triple2) -> (rule4 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((((triple2) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5