Anne is furry. Anne is not red. Charlie is furry. Fiona is nice. Fiona is smart. Gary is red. Gary is not round. All quiet people are nice. Furry people are nice. If someone is quiet then they are nice. If someone is nice and smart then they are not round. All red people are smart. If Charlie is round and Charlie is nice then Charlie is not smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not red.
("Anne" "is" "red" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not round.
("Gary" "is" "round" "-")
All quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is quiet then they are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and smart then they are not round.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "-"))
All red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If Charlie is round and Charlie is nice then Charlie is not smart.
((("Charlie" "is" "round" "+") ("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "smart" "-"))
Gary is not round.
True
1
proof
[(triple7)]
("Gary" "is" "round" "-")
triple7
Gary is round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "+")
triple7
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is furry.[(triple1)] Anne is not red.[(triple2)] Charlie is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is smart.[(triple5)] Gary is not round.[(triple7)] Gary is red.[(triple6)] @1: Anne is nice.[(((triple1) -> rule2))] Charlie is nice.[(((triple3) -> rule2))] Fiona is not round.[(((triple4 triple5) -> rule4))] Gary is smart.[(((triple6) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is not round.
("Gary" "is" "round" "-")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
((triple4 triple5) -> (rule4 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple6) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1