The dog is cold. The dog is green. The dog is red. If someone is red then they are green. If someone is big and kind then they are green.
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The dog is red.
True
1
proof
[(triple3)]
("dog" "is" "red" "+")
triple3
The dog is not green.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule1))]
("dog" "is" "green" "-")
triple2
((triple3) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is cold.[(triple1)] The dog is green.[(triple2 OR ((triple3) -> rule1))] The dog is red.[(triple3)]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
((triple3) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
triple3