Anne is cold. Anne is kind. Anne is nice. Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is smart. Bob is young. Nice, cold things are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Nice, cold things are furry.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Bob is young.
True
1
proof
[(triple10)]
("Bob" "is" "young" "+")
triple10
Bob is not furry.
False
1
inv-proof
[(triple6 OR ((triple8 triple5) -> rule1))]
("Bob" "is" "furry" "-")
triple6
((triple8 triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Anne is furry.
True
3
proof
[(((triple3 triple1) -> rule1))]
("Anne" "is" "furry" "+")
((triple3 triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Anne" "is" "furry" "-")
((triple3 triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6 OR ((triple8 triple5) -> rule1))] Bob is kind.[(triple7)] Bob is nice.[(triple8)] Bob is smart.[(triple9)] Bob is young.[(triple10)] @1: Anne is furry.[(((triple3 triple1) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
((triple8 triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is smart.
("Bob" "is" "smart" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
triple10
Anne is furry.
("Anne" "is" "furry" "+")
((triple3 triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1