Bob is green. Bob is nice. Bob is red. Bob is rough. Dave is nice. Dave is red. Dave is rough. Dave is white. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is white. All blue, red people are green. White, red people are blue. Big, blue people are green. All green, white people are big. White, red people are nice. All white, big people are red. All red, big people are white. If someone is red and big then they are green.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All blue, red people are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
White, red people are blue.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Big, blue people are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All green, white people are big.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
White, red people are nice.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All white, big people are red.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
All red, big people are white.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is red and big then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Dave is white.
True
1
proof
[(triple8)]
("Dave" "is" "white" "+")
triple8
Harry is not green.
False
1
inv-proof
[(triple11 OR ((triple10 triple13) -> rule1) OR ((triple13 triple9) -> rule8) OR ((triple9 triple10) -> rule3) OR ((triple10 ((triple15 triple9) -> rule6)) -> rule1) OR ((triple9 ((triple15 triple13) -> rule2)) -> rule3) OR ((((triple15 triple13) -> rule2) triple13) -> rule1) OR ((((triple15 triple9) -> rule6) triple9) -> rule8) OR ((((triple15 triple13) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((triple9 ((triple15 ((triple15 triple9) -> rule6)) -> rule2)) -> rule3) OR ((triple9 ((((triple13 triple9) -> rule7) triple13) -> rule2)) -> rule3) OR ((((triple15 ((triple15 triple9) -> rule6)) -> rule2) triple13) -> rule1) OR ((((((triple13 triple9) -> rule7) triple13) -> rule2) triple13) -> rule1) OR ((triple9 ((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2)) -> rule3) OR ((((triple15 ((triple15 triple9) -> rule6)) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((((((triple13 triple9) -> rule7) triple13) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2) triple13) -> rule1) OR ((((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2) ((triple15 triple9) -> rule6)) -> rule1))]
("Harry" "is" "green" "-")
triple11
((triple10 triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple13 triple9) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple9 triple10) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple10 ((triple15 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple9 ((triple15 triple13) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple15 triple13) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple15 triple9) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple15 triple13) -> (rule2 % int3)) ((triple15 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple9 ((triple15 ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((((triple13 triple9) -> (rule7 % int3)) triple13) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple15 ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13 triple9) -> (rule7 % int3)) triple13) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple9 ((((triple13 triple9) -> (rule7 % int4)) ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple15 ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2)) ((triple15 triple9) -> (rule6 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13 triple9) -> (rule7 % int4)) triple13) -> (rule2 % int3)) ((triple15 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple13 triple9) -> (rule7 % int4)) ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple13 triple9) -> (rule7 % int4)) ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2)) ((triple15 triple9) -> (rule6 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Dave is blue.
True
3
proof
[(((triple8 triple6) -> rule2))]
("Dave" "is" "blue" "+")
((triple8 triple6) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
3
inv-proof
[(((triple8 triple6) -> rule2))]
("Dave" "is" "blue" "-")
((triple8 triple6) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
True
5
proof
[(((((triple8 triple6) -> rule2) triple6) -> rule1))]
("Dave" "is" "green" "+")
((((triple8 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not green.
False
5
inv-proof
[(((((triple8 triple6) -> rule2) triple6) -> rule1))]
("Dave" "is" "green" "-")
((((triple8 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
True
7
proof
[(((((((triple8 triple6) -> rule2) triple6) -> rule1) triple8) -> rule4))]
("Dave" "is" "big" "+")
((((((triple8 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not big.
False
7
inv-proof
[(((((((triple8 triple6) -> rule2) triple6) -> rule1) triple8) -> rule4))]
("Dave" "is" "big" "-")
((((((triple8 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
rconc
[@3: Bob is blue.[CWA. Example of deepest failure = (rule2 <- rule7 <- rule4 <- FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Dave is nice.[(triple5 OR ((triple8 triple6) -> rule5))] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Harry is big.[(triple9 OR ((triple11 triple15) -> rule4) OR ((((triple10 triple13) -> rule1) triple15) -> rule4) OR ((((((triple15 triple13) -> rule2) triple13) -> rule1) triple15) -> rule4))] Harry is blue.[(triple10 OR ((triple15 triple13) -> rule2) OR ((triple15 ((triple15 triple9) -> rule6)) -> rule2) OR ((((triple13 triple9) -> rule7) triple13) -> rule2) OR ((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2) OR ((triple15 ((triple15 ((triple11 triple15) -> rule4)) -> rule6)) -> rule2) OR ((((triple13 triple9) -> rule7) ((triple15 ((triple11 triple15) -> rule4)) -> rule6)) -> rule2))] Harry is green.[(triple11 OR ((triple10 triple13) -> rule1) OR ((triple13 triple9) -> rule8) OR ((triple9 triple10) -> rule3) OR ((triple10 ((triple15 triple9) -> rule6)) -> rule1) OR ((triple9 ((triple15 triple13) -> rule2)) -> rule3) OR ((((triple15 triple13) -> rule2) triple13) -> rule1) OR ((((triple15 triple9) -> rule6) triple9) -> rule8) OR ((((triple15 triple13) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((triple9 ((triple15 ((triple15 triple9) -> rule6)) -> rule2)) -> rule3) OR ((triple9 ((((triple13 triple9) -> rule7) triple13) -> rule2)) -> rule3) OR ((((triple15 ((triple15 triple9) -> rule6)) -> rule2) triple13) -> rule1) OR ((((((triple13 triple9) -> rule7) triple13) -> rule2) triple13) -> rule1) OR ((triple9 ((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2)) -> rule3) OR ((((triple15 ((triple15 triple9) -> rule6)) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((((((triple13 triple9) -> rule7) triple13) -> rule2) ((triple15 triple9) -> rule6)) -> rule1) OR ((((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2) triple13) -> rule1) OR ((((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule2) ((triple15 triple9) -> rule6)) -> rule1))] Harry is nice.[(triple12 OR ((triple15 triple13) -> rule5) OR ((triple15 ((triple15 triple9) -> rule6)) -> rule5) OR ((((triple13 triple9) -> rule7) triple13) -> rule5) OR ((((triple13 triple9) -> rule7) ((triple15 triple9) -> rule6)) -> rule5) OR ((triple15 ((triple15 ((triple11 triple15) -> rule4)) -> rule6)) -> rule5) OR ((((triple13 triple9) -> rule7) ((triple15 ((triple11 triple15) -> rule4)) -> rule6)) -> rule5))] Harry is red.[(triple13 OR ((triple15 triple9) -> rule6) OR ((triple15 ((triple11 triple15) -> rule4)) -> rule6))] Harry is rough.[(triple14)] Harry is white.[(triple15 OR ((triple13 triple9) -> rule7))] @1: Dave is blue.[(((triple8 triple6) -> rule2))] @2: Dave is green.[(((((triple8 triple6) -> rule2) triple6) -> rule1))] @3: Dave is big.[(((((((triple8 triple6) -> rule2) triple6) -> rule1) triple8) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
((triple8 triple6) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple11 triple15) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple10 triple13) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple15 triple13) -> (rule2 % int3)) triple13) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((triple15 triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple15 ((triple15 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple13 triple9) -> (rule7 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple13 triple9) -> (rule7 % int3)) ((triple15 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple15 ((triple15 ((triple11 triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple13 triple9) -> (rule7 % int4)) ((triple15 ((triple11 triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple10 triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple13 triple9) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple9 triple10) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple10 ((triple15 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple9 ((triple15 triple13) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple15 triple13) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple15 triple9) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple15 triple13) -> (rule2 % int3)) ((triple15 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple9 ((triple15 ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple9 ((((triple13 triple9) -> (rule7 % int3)) triple13) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple15 ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13 triple9) -> (rule7 % int3)) triple13) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple9 ((((triple13 triple9) -> (rule7 % int4)) ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple15 ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2)) ((triple15 triple9) -> (rule6 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13 triple9) -> (rule7 % int4)) triple13) -> (rule2 % int3)) ((triple15 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple13 triple9) -> (rule7 % int4)) ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple13 triple9) -> (rule7 % int4)) ((triple15 triple9) -> (rule6 % int3))) -> (rule2 % int2)) ((triple15 triple9) -> (rule6 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple12
((triple15 triple13) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple15 ((triple15 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple13 triple9) -> (rule7 % int2)) triple13) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple13 triple9) -> (rule7 % int3)) ((triple15 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple15 ((triple15 ((triple11 triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple13 triple9) -> (rule7 % int4)) ((triple15 ((triple11 triple15) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
triple13
((triple15 triple9) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple15 ((triple11 triple15) -> (rule4 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
((triple13 triple9) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple8 triple6) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple8 triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((((triple8 triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3