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