The dog is green. The dog is round. The dog is young. If someone is young and round then they are green. If someone is round and rough then they are nice. All round people are rough.
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
If someone is young and round then they are green.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
The dog is round.
True
1
proof
[(triple2)]
("dog" "is" "round" "+")
triple2
The dog is not green.
False
1
inv-proof
[(triple1 OR ((triple3 triple2) -> rule1))]
("dog" "is" "green" "-")
triple1
((triple3 triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is rough.
True
2
proof
[(((triple2) -> rule3))]
("dog" "is" "rough" "+")
((triple2) -> (rule3 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("dog" "is" "rough" "-")
((triple2) -> (rule3 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is nice.
True
4
proof
[(((triple2 ((triple2) -> rule3)) -> rule2))]
("dog" "is" "nice" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is not nice.
False
4
inv-proof
[(((triple2 ((triple2) -> rule3)) -> rule2))]
("dog" "is" "nice" "-")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog is green.[(triple1 OR ((triple3 triple2) -> rule1))] The dog is round.[(triple2)] The dog is young.[(triple3)] @1: The dog is rough.[(((triple2) -> rule3))] @2: The dog is nice.[(((triple2 ((triple2) -> rule3)) -> rule2))]
The dog is green.
("dog" "is" "green" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
((triple2) -> (rule3 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2