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