Charlie is cold. Dave is not cold. Fiona is furry. Gary is not cold. If Gary is not furry then Gary is not white. Cold people are not rough. All green people are not big.
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
If Gary is not furry then Gary is not white.
((("Gary" "is" "furry" "~")) -> ("Gary" "is" "white" "-"))
Cold people are not rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "-"))
All green people are not big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "-"))
Charlie is cold.
True
1
proof
[(triple1)]
("Charlie" "is" "cold" "+")
triple1
Gary is cold.
False
1
inv-proof
[(triple4)]
("Gary" "is" "cold" "+")
triple4
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Charlie is cold.[(triple1)] Dave is not cold.[(triple2)] Fiona is furry.[(triple3)] Gary is not cold.[(triple4)] @1: Charlie is not rough.[(((triple1) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is not cold.
("Dave" "is" "cold" "-")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Gary is not cold.
("Gary" "is" "cold" "-")
triple4
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1