Anne is white. Charlie is smart. Erin is round. Fiona is round. All kind, white people are round. If someone is white then they are furry.
Anne is white.
("Anne" "is" "white" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All kind, white people are round.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Charlie is smart.
True
1
proof
[(triple2)]
("Charlie" "is" "smart" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "round" "-")
triple4
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is white.[(triple1)] Charlie is smart.[(triple2)] Erin is round.[(triple3)] Fiona is round.[(triple4)] @1: Anne is furry.[(((triple1) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1