Anne is cold. Anne is furry. Anne is green. Anne is red. Charlie is not furry. Charlie is green. Charlie is white. Erin is not big. Erin is cold. Erin is furry. Erin is red. Erin is white. Fiona is cold. Fiona is furry. Fiona is red. If Anne is big then Anne is green. White people are quiet. Green, quiet people are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If Anne is big then Anne is green.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "green" "+"))
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Green, quiet people are red.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Erin is furry.
True
1
proof
[(triple10)]
("Erin" "is" "furry" "+")
triple10
Fiona is not cold.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "cold" "-")
triple13
Charlie is quiet.
True
2
proof
[(((triple7) -> rule2))]
("Charlie" "is" "quiet" "+")
((triple7) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple12) -> rule2))]
("Erin" "is" "quiet" "-")
((triple12) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Charlie is red.
True
4
proof
[(((triple6 ((triple7) -> rule2)) -> rule3))]
("Charlie" "is" "red" "+")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not red.
False
4
inv-proof
[(((triple6 ((triple7) -> rule2)) -> rule3))]
("Charlie" "is" "red" "-")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is quiet.
Unknown
rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "quiet" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Charlie is green.[(triple6)] Charlie is not furry.[(triple5)] Charlie is white.[(triple7)] Erin is cold.[(triple9)] Erin is furry.[(triple10)] Erin is not big.[(triple8)] Erin is red.[(triple11)] Erin is white.[(triple12)] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is red.[(triple15)] @1: Charlie is quiet.[(((triple7) -> rule2))] Erin is quiet.[(((triple12) -> rule2))] @2: Charlie is red.[(((triple6 ((triple7) -> rule2)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is not big.
("Erin" "is" "big" "-")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
triple13
Fiona is furry.
("Fiona" "is" "furry" "+")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple7) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple12) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2