Anne is big. Anne is furry. Anne is kind. Anne is smart. Erin is big. Erin is furry. Erin is red. Erin is smart. Erin is white. Erin is young. Big things are white. If Erin is smart and Erin is red then Erin is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Big things are white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If Erin is smart and Erin is red then Erin is big.
((("Erin" "is" "smart" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "big" "+"))
Erin is white.
True
1
proof
[(triple9 OR ((triple5) -> rule1) OR ((((triple8 triple7) -> rule2)) -> rule1))]
("Erin" "is" "white" "+")
triple9
((triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple8 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Anne is not kind.
False
1
inv-proof
[(triple3)]
("Anne" "is" "kind" "-")
triple3
Anne is white.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "-")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Erin is big.[(triple5 OR ((triple8 triple7) -> rule2))] Erin is furry.[(triple6)] Erin is red.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9 OR ((triple5) -> rule1) OR ((((triple8 triple7) -> rule2)) -> rule1))] Erin is young.[(triple10)] @1: Anne is white.[(((triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
((triple8 triple7) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple8 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple10
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1