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