Charlie is red. Erin is rough. If Erin is furry and Erin is young then Erin is rough. All furry, quiet people are green. Red people are kind.
Charlie is red.
("Charlie" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
If Erin is furry and Erin is young then Erin is rough.
((("Erin" "is" "furry" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "rough" "+"))
All furry, quiet people are green.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Charlie is red.[(triple1)] Erin is rough.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule3))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1