The dog is cold. The dog is kind. The dog is nice. All cold things are kind. Cold things are green. If something is kind and blue then it is green.
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is kind and blue then it is green.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
The dog is nice.
True
1
proof
[(triple3)]
("dog" "is" "nice" "+")
triple3
The dog is not nice.
False
1
inv-proof
[(triple3)]
("dog" "is" "nice" "-")
triple3
The dog is green.
True
2
proof
[(((triple1) -> rule2))]
("dog" "is" "green" "+")
((triple1) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple1) -> rule2))]
("dog" "is" "green" "-")
((triple1) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
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 kind.[(triple2 OR ((triple1) -> rule1))] The dog is nice.[(triple3)] @1: The dog is green.[(((triple1) -> rule2))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
((triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
((triple1) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1