Charlie is not blue. Charlie is furry. Charlie is rough. Fiona is furry. Fiona is not smart. Gary is not nice. Gary is white. If someone is round then they are not rough. If someone is white and not furry then they are rough.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is white.
("Gary" "is" "white" "+")
If someone is round then they are not rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If someone is white and not furry then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "rough" "+"))
Gary is white.
True
1
proof
[(triple7)]
("Gary" "is" "white" "+")
triple7
Charlie is blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is furry.[(triple2)] Charlie is not blue.[(triple1)] Charlie is rough.[(triple3)] Fiona is furry.[(triple4)] Fiona is not smart.[(triple5)] Gary is not nice.[(triple6)] Gary is white.[(triple7)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple5
Gary is not nice.
("Gary" "is" "nice" "-")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7