Anne is big. Anne is cold. Anne is not nice. Anne is red. Anne is smart. Anne is young. Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is young. Erin is cold. Erin is not furry. Erin is not nice. Erin is red. Erin is young. If Anne is big then Anne is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
If Anne is big then Anne is furry.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "furry" "+"))
Erin is young.
True
1
proof
[(triple16)]
("Erin" "is" "young" "+")
triple16
Bob is not young.
False
1
inv-proof
[(triple11)]
("Bob" "is" "young" "-")
triple11
Anne is furry.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not nice.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is red.[(triple10)] Bob is young.[(triple11)] Erin is cold.[(triple12)] Erin is not furry.[(triple13)] Erin is not nice.[(triple14)] Erin is red.[(triple15)] Erin is young.[(triple16)] @1: Anne is furry.[(((triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
triple8
Bob is furry.
("Bob" "is" "furry" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
triple11
Erin is cold.
("Erin" "is" "cold" "+")
triple12
Erin is not furry.
("Erin" "is" "furry" "-")
triple13
Erin is not nice.
("Erin" "is" "nice" "-")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1