Anne is quiet. Bob is round. Fiona is not furry. Gary is furry. If Gary is big then Gary is red. If someone is rough and not big then they are furry. If someone is furry and not red then they are rough. If someone is big then they are rough. If someone is round then they are white. If someone is red and not furry then they are not white. Round, white people are not quiet. If Fiona is white then Fiona is round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Gary is furry.
("Gary" "is" "furry" "+")
If Gary is big then Gary is red.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "red" "+"))
If someone is rough and not big then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "furry" "+"))
If someone is furry and not red then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "rough" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If someone is red and not furry then they are not white.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "-"))
Round, white people are not quiet.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "-"))
If Fiona is white then Fiona is round.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "round" "+"))
Gary is furry.
True
1
proof
[(triple4)]
("Gary" "is" "furry" "+")
triple4
Fiona is furry.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Bob is white.
True
2
proof
[(((triple2) -> rule5))]
("Bob" "is" "white" "+")
((triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple2) -> rule5))]
("Bob" "is" "white" "-")
((triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not quiet.
True
4
proof
[(((triple2 ((triple2) -> rule5)) -> rule7))]
("Bob" "is" "quiet" "-")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
False
4
inv-proof
[(((triple2 ((triple2) -> rule5)) -> rule7))]
("Bob" "is" "quiet" "+")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is white.
Unknown
rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "white" "+")
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Bob is round.[(triple2)] Fiona is not furry.[(triple3)] Gary is furry.[(triple4)] @1: Bob is white.[(((triple2) -> rule5))] @2: Bob is not quiet.[(((triple2 ((triple2) -> rule5)) -> rule7))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not quiet.
("Bob" "is" "quiet" "-")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
int2