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