Charlie is white. Dave is big. Gary is kind. Harry is white. Red, kind things are white. Blue, red things are cold. Blue things are kind. Kind, white things are green. All red things are big. If something is kind and blue then it is cold. All blue things are kind. If something is blue then it is cold.
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Red, kind things are white.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Blue, red things are cold.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Kind, white things are green.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something is kind and blue then it is cold.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Dave is big.
True
1
proof
[(triple2)]
("Dave" "is" "big" "+")
triple2
Dave is not big.
False
1
inv-proof
[(triple2)]
("Dave" "is" "big" "-")
triple2
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is white.[(triple1)] Dave is big.[(triple2)] Gary is kind.[(triple3)] Harry is white.[(triple4)]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4