The bald eagle is round. The bear is rough. The bear is round. The dog is round. The dog sees the bear. The dog sees the rabbit. The dog visits the bear. The rabbit is nice. The rabbit is rough. The rabbit sees the dog. The rabbit visits the dog. If the bald eagle sees the bear and the bald eagle sees the dog then the bald eagle needs the rabbit. All nice things are young. If something visits the bald eagle then the bald eagle is rough. If something is kind and it visits the dog then it is nice. If something is young then it sees the bear. If the dog visits the bald eagle then the bald eagle visits the dog. If something visits the dog and it sees the dog then it needs the dog. If something visits the bald eagle then the bald eagle is kind. If something visits the dog then the dog visits the bald eagle.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If the bald eagle sees the bear and the bald eagle sees the dog then the bald eagle needs the rabbit.
((("bald eagle" "sees" "bear" "+") ("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "needs" "rabbit" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something visits the bald eagle then the bald eagle is rough.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If something is kind and it visits the dog then it is nice.
((("something" "is" "kind" "+") ("something" "visits" "dog" "+")) -> ("something" "is" "nice" "+"))
If something is young then it sees the bear.
((("something" "is" "young" "+")) -> ("something" "sees" "bear" "+"))
If the dog visits the bald eagle then the bald eagle visits the dog.
((("dog" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "dog" "+"))
If something visits the dog and it sees the dog then it needs the dog.
((("something" "visits" "dog" "+") ("something" "sees" "dog" "+")) -> ("something" "needs" "dog" "+"))
If something visits the bald eagle then the bald eagle is kind.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something visits the dog then the dog visits the bald eagle.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "bald eagle" "+"))
The bear is rough.
True
1
proof
[(triple2)]
("bear" "is" "rough" "+")
triple2
The rabbit does not see the dog.
False
1
inv-proof
[(triple10)]
("rabbit" "sees" "dog" "-")
triple10
The dog visits the bald eagle.
True
2
proof
[(((triple11) -> rule9))]
("dog" "visits" "bald eagle" "+")
((triple11) -> (rule9 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The rabbit does not need the dog.
False
3
inv-proof
[(((triple11 triple10) -> rule7))]
("rabbit" "needs" "dog" "-")
((triple11 triple10) -> (rule7 % int1))
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int1
The bald eagle is rough.
True
3
proof
[(((((triple11) -> rule9)) -> rule3))]
("bald eagle" "is" "rough" "+")
((((triple11) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bald eagle is not rough.
False
3
inv-proof
[(((((triple11) -> rule9)) -> rule3))]
("bald eagle" "is" "rough" "-")
((((triple11) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bald eagle is nice.
True
7
proof
[(((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4))]
("bald eagle" "is" "nice" "+")
((((((triple11) -> (rule9 % int4))) -> (rule8 % int3)) ((((triple11) -> (rule9 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int4
The bald eagle is not nice.
False
7
inv-proof
[(((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4))]
("bald eagle" "is" "nice" "-")
((((((triple11) -> (rule9 % int4))) -> (rule8 % int3)) ((((triple11) -> (rule9 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int4
The bald eagle is young.
True
8
proof
[(((((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4)) -> rule2))]
("bald eagle" "is" "young" "+")
((((((((triple11) -> (rule9 % int5))) -> (rule8 % int4)) ((((triple11) -> (rule9 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int5
The bald eagle is not young.
False
8
inv-proof
[(((((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4)) -> rule2))]
("bald eagle" "is" "young" "-")
((((((((triple11) -> (rule9 % int5))) -> (rule8 % int4)) ((((triple11) -> (rule9 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int5
The bald eagle sees the bear.
True
9
proof
[(((((((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4)) -> rule2)) -> rule5))]
("bald eagle" "sees" "bear" "+")
((((((((((triple11) -> (rule9 % int6))) -> (rule8 % int5)) ((((triple11) -> (rule9 % int6))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int6
The bald eagle does not see the bear.
False
9
inv-proof
[(((((((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4)) -> rule2)) -> rule5))]
("bald eagle" "sees" "bear" "-")
((((((((((triple11) -> (rule9 % int6))) -> (rule8 % int5)) ((((triple11) -> (rule9 % int6))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int6
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "nice" "-")
The dog needs the dog.
Unknown
rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "needs" "dog" "+")
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The bald eagle needs the dog.
Unknown
rconc
[@1: The bald eagle needs the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "needs" "dog" "+")
The bear does not see the bear.
Unknown
inv-rconc
[@3: The bear sees the bear.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule4 <- FAIL)]]
("bear" "sees" "bear" "-")
The dog is young.
Unknown
rconc
[@2: The dog is young.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("dog" "is" "young" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The dog needs the rabbit.
Unknown
random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "+")
The bald eagle does not see the rabbit.
Unknown
inv-random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bear does not need the bald eagle.
Unknown
inv-random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "-")
The rabbit sees the bald eagle.
Unknown
random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The bear is rough.[(triple2)] The bear is round.[(triple3)] The dog is round.[(triple4)] The dog sees the bear.[(triple5)] The dog sees the rabbit.[(triple6)] The dog visits the bear.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is rough.[(triple9)] The rabbit sees the dog.[(triple10)] The rabbit visits the dog.[(triple11)] @1: The dog visits the bald eagle.[(((triple11) -> rule9))] The rabbit is young.[(((triple8) -> rule2))] The rabbit needs the dog.[(((triple11 triple10) -> rule7))] @2: The bald eagle is kind.[(((((triple11) -> rule9)) -> rule8))] The bald eagle is rough.[(((((triple11) -> rule9)) -> rule3))] The bald eagle visits the dog.[(((((triple11) -> rule9)) -> rule6))] The rabbit sees the bear.[(((((triple8) -> rule2)) -> rule5))] @3: The bald eagle is nice.[(((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4))] @4: The bald eagle is young.[(((((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4)) -> rule2))] @5: The bald eagle sees the bear.[(((((((((((triple11) -> rule9)) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule4)) -> rule2)) -> rule5))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog sees the bear.
("dog" "sees" "bear" "+")
triple5
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple6
The dog visits the bear.
("dog" "visits" "bear" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple11
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple11) -> (rule9 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple8) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
((triple11 triple10) -> (rule7 % int1))
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple11) -> (rule9 % int2))) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple11) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((((triple11) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
((((triple8) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((((triple11) -> (rule9 % int4))) -> (rule8 % int3)) ((((triple11) -> (rule9 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int4
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((((((triple11) -> (rule9 % int5))) -> (rule8 % int4)) ((((triple11) -> (rule9 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int5
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((((((((((triple11) -> (rule9 % int6))) -> (rule8 % int5)) ((((triple11) -> (rule9 % int6))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int5
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int6