The cat is blue. The cat is cold. The cat is not green. The cat is kind. The cat is round. Round, kind things are blue. Kind, round things are blue. If something is blue then it is not green.
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
Round, kind things are blue.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Kind, round things are blue.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is not green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
The cat is kind.
True
1
proof
[(triple4)]
("cat" "is" "kind" "+")
triple4
The cat is not kind.
False
1
inv-proof
[(triple4)]
("cat" "is" "kind" "-")
triple4
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat is blue.[(triple1 OR ((triple4 triple5) -> rule2) OR ((triple5 triple4) -> rule1))] The cat is cold.[(triple2)] The cat is kind.[(triple4)] The cat is not green.[(triple3 OR ((triple1) -> rule3) OR ((((triple4 triple5) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule1)) -> rule3))] The cat is round.[(triple5)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
((triple4 triple5) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((triple5 triple4) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is not green.
("cat" "is" "green" "-")
triple3
((triple1) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
((((triple4 triple5) -> (rule2 % int2))) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((((triple5 triple4) -> (rule1 % int2))) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is round.
("cat" "is" "round" "+")
triple5