Charlie is white. Dave is rough. Gary is white. Harry is white. If someone is round and rough then they are red. If someone is round and rough then they are smart. Rough, furry people are red. If someone is furry and white then they are round. If someone is smart then they are cold. All furry people are red. If Dave is red then Dave is round. If Charlie is cold and Charlie is rough then Charlie is smart.
Charlie is white.
("Charlie" "is" "white" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Rough, furry people are red.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and white then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is smart then they are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If Dave is red then Dave is round.
((("Dave" "is" "red" "+")) -> ("Dave" "is" "round" "+"))
If Charlie is cold and Charlie is rough then Charlie is smart.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "smart" "+"))
Gary is white.
True
1
proof
[(triple3)]
("Gary" "is" "white" "+")
triple3
Dave is not rough.
False
1
inv-proof
[(triple2)]
("Dave" "is" "rough" "-")
triple2
Dave is not cold.
Unknown
inv-rconc
[@5: Dave is cold.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule7 <- rule1 <- rule4 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Charlie is white.[(triple1)] Dave is rough.[(triple2)] Gary is white.[(triple3)] Harry is white.[(triple4)]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4