The cow is young. The cow likes the dog. The cow visits the dog. The dog is blue. The dog is cold. The dog is nice. The dog is young. The dog likes the cow. The dog sees the cow. The dog visits the cow. If something is nice and it sees the cow then it sees the dog.
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If something is nice and it sees the cow then it sees the dog.
((("something" "is" "nice" "+") ("something" "sees" "cow" "+")) -> ("something" "sees" "dog" "+"))
The dog is young.
True
1
proof
[(triple7)]
("dog" "is" "young" "+")
triple7
The dog is not nice.
False
1
inv-proof
[(triple6)]
("dog" "is" "nice" "-")
triple6
The dog sees the dog.
True
3
proof
[(((triple6 triple9) -> rule1))]
("dog" "sees" "dog" "+")
((triple6 triple9) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the dog.
False
3
inv-proof
[(((triple6 triple9) -> rule1))]
("dog" "sees" "dog" "-")
((triple6 triple9) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The cow does not see the dog.
Unknown
inv-rconc
[@1: The cow sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "dog" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The cow is young.[(triple1)] The cow likes the dog.[(triple2)] The cow visits the dog.[(triple3)] The dog is blue.[(triple4)] The dog is cold.[(triple5)] The dog is nice.[(triple6)] The dog is young.[(triple7)] The dog likes the cow.[(triple8)] The dog sees the cow.[(triple9)] The dog visits the cow.[(triple10)] @1: The dog sees the dog.[(((triple6 triple9) -> rule1))]
The cow is young.
("cow" "is" "young" "+")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The cow visits the dog.
("cow" "visits" "dog" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog likes the cow.
("dog" "likes" "cow" "+")
triple8
The dog sees the cow.
("dog" "sees" "cow" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple6 triple9) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1