The bald eagle is green. The bald eagle is not rough. The bald eagle visits the mouse. The bald eagle visits the squirrel. The mouse chases the squirrel. The mouse is green. The mouse is not round. The mouse does not visit the bald eagle. The squirrel chases the tiger. The squirrel eats the bald eagle. The squirrel is nice. The tiger chases the squirrel. The tiger is round. The tiger visits the mouse. If something is big then it visits the tiger. If something eats the mouse then it is not round. If something chases the squirrel and it visits the tiger then the squirrel is round. If something eats the tiger then it is green. If something chases the tiger then it visits the squirrel. If something chases the tiger and it chases the squirrel then the squirrel is rough. Round things are big. If the bald eagle eats the tiger then the bald eagle does not eat the mouse.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If something is big then it visits the tiger.
((("something" "is" "big" "+")) -> ("something" "visits" "tiger" "+"))
If something eats the mouse then it is not round.
((("something" "eats" "mouse" "+")) -> ("something" "is" "round" "-"))
If something chases the squirrel and it visits the tiger then the squirrel is round.
((("something" "chases" "squirrel" "+") ("something" "visits" "tiger" "+")) -> ("squirrel" "is" "round" "+"))
If something eats the tiger then it is green.
((("something" "eats" "tiger" "+")) -> ("something" "is" "green" "+"))
If something chases the tiger then it visits the squirrel.
((("something" "chases" "tiger" "+")) -> ("something" "visits" "squirrel" "+"))
If something chases the tiger and it chases the squirrel then the squirrel is rough.
((("something" "chases" "tiger" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If the bald eagle eats the tiger then the bald eagle does not eat the mouse.
((("bald eagle" "eats" "tiger" "+")) -> ("bald eagle" "eats" "mouse" "-"))
The mouse chases the squirrel.
True
1
proof
[(triple5)]
("mouse" "chases" "squirrel" "+")
triple5
The bald eagle does not visit the squirrel.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "squirrel" "-")
triple4
The squirrel visits the squirrel.
True
2
proof
[(((triple9) -> rule5))]
("squirrel" "visits" "squirrel" "+")
((triple9) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
False
2
inv-proof
[(((triple9) -> rule5))]
("squirrel" "visits" "squirrel" "-")
((triple9) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The tiger visits the tiger.
True
3
proof
[(((((triple13) -> rule7)) -> rule1))]
("tiger" "visits" "tiger" "+")
((((triple13) -> (rule7 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger does not visit the tiger.
False
3
inv-proof
[(((((triple13) -> rule7)) -> rule1))]
("tiger" "visits" "tiger" "-")
((((triple13) -> (rule7 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The squirrel is round.
True
5
proof
[(((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3))]
("squirrel" "is" "round" "+")
((triple12 ((((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The squirrel is not round.
False
5
inv-proof
[(((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3))]
("squirrel" "is" "round" "-")
((triple12 ((((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The squirrel is big.
True
6
proof
[(((((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3)) -> rule7))]
("squirrel" "is" "big" "+")
((((triple12 ((((triple13) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The squirrel is not big.
False
6
inv-proof
[(((((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3)) -> rule7))]
("squirrel" "is" "big" "-")
((((triple12 ((((triple13) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The squirrel visits the tiger.
True
7
proof
[(((((((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3)) -> rule7)) -> rule1))]
("squirrel" "visits" "tiger" "+")
((((((triple12 ((((triple13) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
The squirrel does not visit the tiger.
False
7
inv-proof
[(((((((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3)) -> rule7)) -> rule1))]
("squirrel" "visits" "tiger" "-")
((((((triple12 ((((triple13) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "rough" "-")
The tiger visits the squirrel.
Unknown
rconc
[@1: The tiger visits the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "visits" "squirrel" "+")
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "big" "-")
The squirrel is green.
Unknown
rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "green" "+")
The mouse does not visit the tiger.
Unknown
inv-rconc
[@2: The mouse visits the tiger.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("mouse" "visits" "tiger" "-")
The tiger is green.
Unknown
rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "green" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The mouse chases the tiger.
Unknown
random
[@0: The mouse chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "tiger" "+")
The squirrel does not eat the tiger.
Unknown
inv-random
[@0: The squirrel eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse does not visit the bald eagle.[(triple8)] The mouse is green.[(triple6)] The mouse is not round.[(triple7)] The squirrel chases the tiger.[(triple9)] The squirrel eats the bald eagle.[(triple10)] The squirrel is nice.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger is round.[(triple13)] The tiger visits the mouse.[(triple14)] @1: The squirrel visits the squirrel.[(((triple9) -> rule5))] The tiger is big.[(((triple13) -> rule7))] @2: The tiger visits the tiger.[(((((triple13) -> rule7)) -> rule1))] @3: The squirrel is round.[(((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3))] @4: The squirrel is big.[(((((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3)) -> rule7))] @5: The squirrel visits the tiger.[(((((((triple12 ((((triple13) -> rule7)) -> rule1)) -> rule3)) -> rule7)) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple5
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple6
The mouse is not round.
("mouse" "is" "round" "-")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple9
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple14
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple9) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple13) -> (rule7 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((((triple13) -> (rule7 % int2))) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((triple12 ((((triple13) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple12 ((((triple13) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
((((((triple12 ((((triple13) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5