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