The dog is blue. The dog is cold. The dog is green. Round, green things are kind. If something is green and blue then it is kind.
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
Round, green things are kind.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is green and blue then it is kind.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
The dog is green.
True
1
proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The dog is not cold.
False
1
inv-proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The dog is kind.
True
3
proof
[(((triple3 triple1) -> rule2))]
("dog" "is" "kind" "+")
((triple3 triple1) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("dog" "is" "kind" "-")
((triple3 triple1) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] @1: The dog is kind.[(((triple3 triple1) -> rule2))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
((triple3 triple1) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1