The dog is big. The dog is green. The dog is rough. If someone is big then they are nice. If someone is big and not red then they are nice. If someone is green and not nice then they are rough.
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and not red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "nice" "+"))
If someone is green and not nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "rough" "+"))
The dog is green.
True
1
proof
[(triple2)]
("dog" "is" "green" "+")
triple2
The dog is not green.
False
1
inv-proof
[(triple2)]
("dog" "is" "green" "-")
triple2
The dog is nice.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
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 like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is rough.[(triple3)] @1: The dog is nice.[(((triple1) -> rule1))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1