Charlie is white. Fiona is red. Gary is rough. Harry is red. All red, furry people are kind. All white people are red. Red, round people are furry.
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
All red, furry people are kind.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All white people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Red, round people are furry.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Charlie is white.
True
1
proof
[(triple1)]
("Charlie" "is" "white" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is white.[(triple1)] Fiona is red.[(triple2)] Gary is rough.[(triple3)] Harry is red.[(triple4)] @1: Charlie is red.[(((triple1) -> rule2))]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
((triple1) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1