The dog is blue. The dog is kind. The dog is red. The dog is rough. The dog is young. Kind people are young. If the dog is rough then the dog is kind. If the dog is kind then the dog is young.
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is young.
("dog" "is" "young" "+")
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If the dog is rough then the dog is kind.
((("dog" "is" "rough" "+")) -> ("dog" "is" "kind" "+"))
If the dog is kind then the dog is young.
((("dog" "is" "kind" "+")) -> ("dog" "is" "young" "+"))
The dog is kind.
True
1
proof
[(triple2 OR ((triple4) -> rule2))]
("dog" "is" "kind" "+")
triple2
((triple4) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule2))]
("dog" "is" "kind" "-")
triple2
((triple4) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "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 blue.[(triple1)] The dog is kind.[(triple2 OR ((triple4) -> rule2))] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5 OR ((triple2) -> rule1) OR ((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule2)) -> rule3))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
((triple4) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
((triple2) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((triple2) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2