Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is round. Dave is round. Gary is green. Gary is nice. Gary is red. Gary is round. Harry is green. Harry is rough. Harry is round. Kind things are blue. If something is green then it is kind. Kind things are round. If Gary is kind and Gary is red then Gary is blue. If something is blue and round then it is nice. If Gary is green then Gary is kind.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is green then it is kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Gary is kind and Gary is red then Gary is blue.
((("Gary" "is" "kind" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "blue" "+"))
If something is blue and round then it is nice.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If Gary is green then Gary is kind.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "kind" "+"))
Harry is rough.
True
1
proof
[(triple14)]
("Harry" "is" "rough" "+")
triple14
Gary is not nice.
False
1
inv-proof
[(triple10 OR ((((((triple9) -> rule2)) -> rule1) triple12) -> rule5) OR ((((((triple9) -> rule6)) -> rule1) triple12) -> rule5) OR ((((((triple9) -> rule2) triple11) -> rule4) triple12) -> rule5) OR ((((((triple9) -> rule6) triple11) -> rule4) triple12) -> rule5) OR ((((((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((((((triple9) -> rule2)) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6)) -> rule1) ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6)) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((((triple9) -> rule2) triple11) -> rule4) ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((((((triple9) -> rule2) triple11) -> rule4) ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6) triple11) -> rule4) ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6) triple11) -> rule4) ((((triple9) -> rule6)) -> rule3)) -> rule5))]
("Gary" "is" "nice" "-")
triple10
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple9) -> (rule2 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple9) -> (rule6 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple9) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule2 % int4)) triple11) -> (rule4 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule2 % int4)) triple11) -> (rule4 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Harry is kind.
True
2
proof
[(((triple13) -> rule2))]
("Harry" "is" "kind" "+")
((triple13) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple13) -> rule2))]
("Harry" "is" "kind" "-")
((triple13) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Gary is blue.
True
3
proof
[(((((triple9) -> rule2)) -> rule1) OR ((((triple9) -> rule6)) -> rule1) OR ((((triple9) -> rule2) triple11) -> rule4) OR ((((triple9) -> rule6) triple11) -> rule4))]
("Gary" "is" "blue" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule2 % int2)) triple11) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is not blue.
False
3
inv-proof
[(((((triple13) -> rule2)) -> rule1))]
("Harry" "is" "blue" "-")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
True
5
proof
[(((((((triple13) -> rule2)) -> rule1) triple15) -> rule5) OR ((((((triple13) -> rule2)) -> rule1) ((((triple13) -> rule2)) -> rule3)) -> rule5))]
("Harry" "is" "nice" "+")
((((((triple13) -> (rule2 % int3))) -> (rule1 % int2)) triple15) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple13) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple13) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not nice.
False
5
inv-proof
[(((((((triple13) -> rule2)) -> rule1) triple15) -> rule5) OR ((((((triple13) -> rule2)) -> rule1) ((((triple13) -> rule2)) -> rule3)) -> rule5))]
("Harry" "is" "nice" "-")
((((((triple13) -> (rule2 % int3))) -> (rule1 % int2)) triple15) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple13) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple13) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is blue.
Unknown
rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not nice.
Unknown
inv-rconc
[@3: Dave is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is blue.[(triple1 OR ((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule2))] Bob is nice.[(triple4 OR ((triple1 triple7) -> rule5) OR ((triple1 ((triple3) -> rule3)) -> rule5) OR ((((triple3) -> rule1) triple7) -> rule5) OR ((((triple3) -> rule1) ((triple3) -> rule3)) -> rule5) OR ((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule5) OR ((((((triple2) -> rule2)) -> rule1) triple7) -> rule5) OR ((((triple3) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule5) OR ((((((triple2) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule5) OR ((((((triple2) -> rule2)) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule5))] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple3) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Dave is round.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10 OR ((((((triple9) -> rule2)) -> rule1) triple12) -> rule5) OR ((((((triple9) -> rule6)) -> rule1) triple12) -> rule5) OR ((((((triple9) -> rule2) triple11) -> rule4) triple12) -> rule5) OR ((((((triple9) -> rule6) triple11) -> rule4) triple12) -> rule5) OR ((((((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((((((triple9) -> rule2)) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6)) -> rule1) ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6)) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((((triple9) -> rule2) triple11) -> rule4) ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((((((triple9) -> rule2) triple11) -> rule4) ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6) triple11) -> rule4) ((((triple9) -> rule2)) -> rule3)) -> rule5) OR ((((((triple9) -> rule6) triple11) -> rule4) ((((triple9) -> rule6)) -> rule3)) -> rule5))] Gary is red.[(triple11)] Gary is round.[(triple12 OR ((((triple9) -> rule2)) -> rule3) OR ((((triple9) -> rule6)) -> rule3))] Harry is green.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15 OR ((((triple13) -> rule2)) -> rule3))] @1: Gary is kind.[(((triple9) -> rule2) OR ((triple9) -> rule6))] Harry is kind.[(((triple13) -> rule2))] @2: Gary is blue.[(((((triple9) -> rule2)) -> rule1) OR ((((triple9) -> rule6)) -> rule1) OR ((((triple9) -> rule2) triple11) -> rule4) OR ((((triple9) -> rule6) triple11) -> rule4))] Harry is blue.[(((((triple13) -> rule2)) -> rule1))] @3: Harry is nice.[(((((((triple13) -> rule2)) -> rule1) triple15) -> rule5) OR ((((((triple13) -> rule2)) -> rule1) ((((triple13) -> rule2)) -> rule3)) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple1 triple7) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple3) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple3) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple1 ((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3) -> (rule1 % int4)) ((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
((triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple9) -> (rule2 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple9) -> (rule6 % int3)) triple11) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple9) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule2 % int4)) triple11) -> (rule4 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule2 % int4)) triple11) -> (rule4 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple9) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
((((triple13) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple9) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple13) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule2 % int2)) triple11) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple13) -> (rule2 % int3))) -> (rule1 % int2)) triple15) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple13) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple13) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4