Anne is furry. Anne is nice. Erin is kind. Erin is red. Fiona is red. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is white. All kind people are white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
All kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Erin is white.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "white" "+")
((triple3) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "white" "-")
((triple3) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Erin is kind.[(triple3)] Erin is red.[(triple4)] Fiona is red.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is white.[(triple12 OR ((triple7) -> rule1))] @1: Erin is white.[(((triple3) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
((triple7) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1