The dog is big. The dog is blue. The dog is young. All blue, nice people are rough. If the dog is blue then the dog is young.
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is young.
("dog" "is" "young" "+")
All blue, nice people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If the dog is blue then the dog is young.
((("dog" "is" "blue" "+")) -> ("dog" "is" "young" "+"))
The dog is young.
True
1
proof
[(triple3 OR ((triple2) -> rule2))]
("dog" "is" "young" "+")
triple3
((triple2) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule2))]
("dog" "is" "young" "-")
triple3
((triple2) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "-")
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 big.[(triple1)] The dog is blue.[(triple2)] The dog is young.[(triple3 OR ((triple2) -> rule2))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
((triple2) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1