The dog is big. The dog is green. The dog is kind. The dog is nice. The dog is young. If the dog is big then the dog is green. All young things are green.
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
If the dog is big then the dog is green.
((("dog" "is" "big" "+")) -> ("dog" "is" "green" "+"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
The dog is big.
True
1
proof
[(triple1)]
("dog" "is" "big" "+")
triple1
The dog is not green.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule1) OR ((triple5) -> rule2))]
("dog" "is" "green" "-")
triple2
((triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((triple5) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is big.[(triple1)] The dog is green.[(triple2 OR ((triple1) -> rule1) OR ((triple5) -> rule2))] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is young.[(triple5)]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
((triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((triple5) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5