The dog eats the mouse. The lion chases the dog. The lion eats the rabbit. The lion is big. The lion is round. The lion visits the dog. The lion visits the rabbit. The mouse eats the lion. The mouse is big. The mouse is round. The rabbit chases the lion. The rabbit eats the mouse. The rabbit is big. The rabbit is nice. The rabbit visits the lion. If something visits the dog then the dog chases the mouse. If something chases the lion then the lion chases the rabbit. If something chases the lion then it is blue.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is round.
("mouse" "is" "round" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something visits the dog then the dog chases the mouse.
((("something" "visits" "dog" "+")) -> ("dog" "chases" "mouse" "+"))
If something chases the lion then the lion chases the rabbit.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
If something chases the lion then it is blue.
((("something" "chases" "lion" "+")) -> ("something" "is" "blue" "+"))
The lion is big.
True
1
proof
[(triple4)]
("lion" "is" "big" "+")
triple4
The rabbit does not visit the lion.
False
1
inv-proof
[(triple15)]
("rabbit" "visits" "lion" "-")
triple15
The rabbit is blue.
True
2
proof
[(((triple11) -> rule3))]
("rabbit" "is" "blue" "+")
((triple11) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple11) -> rule3))]
("rabbit" "is" "blue" "-")
((triple11) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "blue" "-")
The lion is blue.
Unknown
rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "blue" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The dog eats the mouse.[(triple1)] The lion chases the dog.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is big.[(triple4)] The lion is round.[(triple5)] The lion visits the dog.[(triple6)] The lion visits the rabbit.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is big.[(triple9)] The mouse is round.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is big.[(triple13)] The rabbit is nice.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The dog chases the mouse.[(((triple6) -> rule1))] The lion chases the rabbit.[(((triple11) -> rule2))] The rabbit is blue.[(((triple11) -> rule3))]
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The lion chases the dog.
("lion" "chases" "dog" "+")
triple2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The lion visits the dog.
("lion" "visits" "dog" "+")
triple6
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple7
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple14
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple15
The dog chases the mouse.
("dog" "chases" "mouse" "+")
((triple6) -> (rule1 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
((triple11) -> (rule2 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple11) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1