Anne is furry. Anne is kind. Anne is round. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is not young. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Round people are cold.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Charlie is young.
True
1
proof
[(triple15)]
("Charlie" "is" "young" "+")
triple15
Bob is not kind.
False
1
inv-proof
[(triple6)]
("Bob" "is" "kind" "-")
triple6
Anne is cold.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Bob is cold.[(triple4)] Bob is furry.[(triple5)] Bob is kind.[(triple6)] Bob is not young.[(triple8)] Bob is red.[(triple7)] Charlie is cold.[(triple9 OR ((triple13) -> rule1))] Charlie is furry.[(triple10)] Charlie is kind.[(triple11)] Charlie is red.[(triple12)] Charlie is round.[(triple13)] Charlie is smart.[(triple14)] Charlie is young.[(triple15)] @1: Anne is cold.[(((triple3) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is not young.
("Bob" "is" "young" "-")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
((triple13) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
triple11
Charlie is red.
("Charlie" "is" "red" "+")
triple12
Charlie is round.
("Charlie" "is" "round" "+")
triple13
Charlie is smart.
("Charlie" "is" "smart" "+")
triple14
Charlie is young.
("Charlie" "is" "young" "+")
triple15
Anne is cold.
("Anne" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1