The dog is big. The dog is rough. The dog is not round. If the dog is big and the dog is not round then the dog is green. If something is rough and green then it is big. If the dog is not big then the dog is young.
The dog is big.
("dog" "is" "big" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is not round.
("dog" "is" "round" "-")
If the dog is big and the dog is not round then the dog is green.
((("dog" "is" "big" "+") ("dog" "is" "round" "~")) -> ("dog" "is" "green" "+"))
If something is rough and green then it is big.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If the dog is not big then the dog is young.
((("dog" "is" "big" "~")) -> ("dog" "is" "young" "+"))
The dog is rough.
True
1
proof
[(triple2)]
("dog" "is" "rough" "+")
triple2
The dog is round.
False
1
inv-proof
[(triple3)]
("dog" "is" "round" "+")
triple3
The dog is green.
True
3
proof
[(((triple1 triple3) -> rule1))]
("dog" "is" "green" "+")
((triple1 triple3) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("dog" "is" "green" "-")
((triple1 triple3) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "young" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
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 sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is big.[(triple1)] The dog is not round.[(triple3)] The dog is rough.[(triple2)] @1: The dog is green.[(((triple1 triple3) -> rule1))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is not round.
("dog" "is" "round" "-")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
((triple1 triple3) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1