Anne is furry. Anne is red. Charlie is green. Red, smart people are round. Red people are round. If Anne is round and Anne is not green then Anne is blue. If Anne is red and Anne is smart then Anne is blue. If someone is smart and not red then they are not furry. If someone is green and nice then they are not smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Red, smart people are round.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If Anne is round and Anne is not green then Anne is blue.
((("Anne" "is" "round" "+") ("Anne" "is" "green" "~")) -> ("Anne" "is" "blue" "+"))
If Anne is red and Anne is smart then Anne is blue.
((("Anne" "is" "red" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "blue" "+"))
If someone is smart and not red then they are not furry.
((("someone" "is" "smart" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "furry" "-"))
If someone is green and nice then they are not smart.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "-"))
Charlie is green.
True
1
proof
[(triple3)]
("Charlie" "is" "green" "+")
triple3
Anne is not red.
False
1
inv-proof
[(triple2)]
("Anne" "is" "red" "-")
triple2
Anne is round.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "round" "-")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Charlie is green.[(triple3)] @1: Anne is round.[(((triple2) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1