Anne is not cold. Anne is furry. Anne is quiet. Anne is smart. Bob is big. Erin is smart. Fiona is white. Smart people are not big.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is big.
("Bob" "is" "big" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Smart people are not big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "-"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple3)]
("Anne" "is" "quiet" "-")
triple3
Anne is not big.
True
2
proof
[(((triple4) -> rule1))]
("Anne" "is" "big" "-")
((triple4) -> (rule1 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is big.
False
2
inv-proof
[(((triple4) -> rule1))]
("Anne" "is" "big" "+")
((triple4) -> (rule1 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is furry.[(triple2)] Anne is not cold.[(triple1)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Bob is big.[(triple5)] Erin is smart.[(triple6)] Fiona is white.[(triple7)] @1: Anne is not big.[(((triple4) -> rule1))] Erin is not big.[(((triple6) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Anne is not big.
("Anne" "is" "big" "-")
((triple4) -> (rule1 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Erin is not big.
("Erin" "is" "big" "-")
((triple6) -> (rule1 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1