Anne is nice. Anne is quiet. Anne is rough. Anne is round. Bob is red. Bob is rough. Fiona is quiet. Fiona is round. Gary is big. Gary is nice. Gary is quiet. Gary is not round. If Gary is big and Gary is round then Gary is nice. If someone is red and big then they are not quiet. If someone is nice and red then they are not quiet. White people are not round. If Gary is white then Gary is red. If someone is white and round then they are rough. Red, rough people are nice. If Gary is rough then Gary is not white.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not round.
("Gary" "is" "round" "-")
If Gary is big and Gary is round then Gary is nice.
((("Gary" "is" "big" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "nice" "+"))
If someone is red and big then they are not quiet.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "-"))
If someone is nice and red then they are not quiet.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "-"))
White people are not round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "-"))
If Gary is white then Gary is red.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "red" "+"))
If someone is white and round then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Red, rough people are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If Gary is rough then Gary is not white.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "white" "-"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Bob is not red.
False
1
inv-proof
[(triple5)]
("Bob" "is" "red" "-")
triple5
Bob is nice.
True
3
proof
[(((triple5 triple6) -> rule7))]
("Bob" "is" "nice" "+")
((triple5 triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule7))]
("Bob" "is" "nice" "-")
((triple5 triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "nice" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Gary is big.[(triple9)] Gary is nice.[(triple10)] Gary is not round.[(triple12)] Gary is quiet.[(triple11)] @1: Bob is nice.[(((triple5 triple6) -> rule7))] @2: Bob is not quiet.[(((((triple5 triple6) -> rule7) triple5) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is not round.
("Gary" "is" "round" "-")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple6) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not quiet.
("Bob" "is" "quiet" "-")
((((triple5 triple6) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2