Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is white. Erin is not big. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is not red. Erin is white. If someone is white and red then they are kind. If Erin is blue and Erin is big then Erin is green.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is white.
("Erin" "is" "white" "+")
If someone is white and red then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If Erin is blue and Erin is big then Erin is green.
((("Erin" "is" "blue" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "green" "+"))
Dave is blue.
True
1
proof
[(triple2)]
("Dave" "is" "blue" "+")
triple2
Dave is not cold.
False
1
inv-proof
[(triple3)]
("Dave" "is" "cold" "-")
triple3
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5 OR ((triple7 triple6) -> rule1))] Dave is red.[(triple6)] Dave is white.[(triple7)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is not big.[(triple8)] Erin is not red.[(triple13)] Erin is white.[(triple14)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
((triple7 triple6) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple12
Erin is not big.
("Erin" "is" "big" "-")
triple8
Erin is not red.
("Erin" "is" "red" "-")
triple13
Erin is white.
("Erin" "is" "white" "+")
triple14