Dave is cold. Fiona is rough. Gary is cold. Gary is green. Gary is not smart. Harry is not green. Harry is rough. If Fiona is smart then Fiona is cold. Green, cold people are not blue. If Harry is not green then Harry is smart. All blue people are cold. Blue people are kind. All green, kind people are furry. Rough, blue people are furry. If Fiona is blue and Fiona is not cold then Fiona is rough.
Dave is cold.
("Dave" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Harry is not green.
("Harry" "is" "green" "-")
Harry is rough.
("Harry" "is" "rough" "+")
If Fiona is smart then Fiona is cold.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "cold" "+"))
Green, cold people are not blue.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "-"))
If Harry is not green then Harry is smart.
((("Harry" "is" "green" "~")) -> ("Harry" "is" "smart" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All green, kind people are furry.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Rough, blue people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is blue and Fiona is not cold then Fiona is rough.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "rough" "+"))
Dave is cold.
True
1
proof
[(triple1)]
("Dave" "is" "cold" "+")
triple1
Dave is not cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is cold.[(triple1)] Fiona is rough.[(triple2)] Gary is cold.[(triple3)] Gary is green.[(triple4)] Gary is not smart.[(triple5)] Harry is not green.[(triple6)] Harry is rough.[(triple7)] @1: Gary is not blue.[(((triple4 triple3) -> rule2))] Harry is smart.[(((triple6) -> rule3))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is not smart.
("Gary" "is" "smart" "-")
triple5
Harry is not green.
("Harry" "is" "green" "-")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Gary is not blue.
("Gary" "is" "blue" "-")
((triple4 triple3) -> (rule2 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple6) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1