The bear is round. The bear likes the rabbit. The bear visits the lion. The cow is green. The cow visits the lion. The lion is rough. The lion is round. The lion likes the cow. The lion likes the rabbit. The lion sees the cow. The rabbit is green. The rabbit likes the bear. The rabbit likes the lion. The rabbit visits the bear. If someone visits the cow then they are blue. If someone is rough then they see the cow. If someone is round and they visit the cow then the cow is rough. If someone likes the cow then they visit the cow. All round people are rough. If someone is rough then they like the cow. If someone likes the bear then they see the rabbit.
The bear is round.
("bear" "is" "round" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone visits the cow then they are blue.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they see the cow.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "cow" "+"))
If someone is round and they visit the cow then the cow is rough.
((("someone" "is" "round" "+") ("someone" "visits" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone likes the cow then they visit the cow.
((("someone" "likes" "cow" "+")) -> ("someone" "visits" "cow" "+"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they like the cow.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the bear then they see the rabbit.
((("someone" "likes" "bear" "+")) -> ("someone" "sees" "rabbit" "+"))
The lion likes the cow.
True
1
proof
[(triple8 OR ((triple6) -> rule6) OR ((((triple7) -> rule5)) -> rule6))]
("lion" "likes" "cow" "+")
triple8
((triple6) -> (rule6 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion does not like the rabbit.
False
1
inv-proof
[(triple9)]
("lion" "likes" "rabbit" "-")
triple9
The bear is rough.
True
2
proof
[(((triple1) -> rule5))]
("bear" "is" "rough" "+")
((triple1) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple1) -> rule5))]
("bear" "is" "rough" "-")
((triple1) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear likes the cow.
True
3
proof
[(((((triple1) -> rule5)) -> rule6))]
("bear" "likes" "cow" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The lion is not blue.
False
3
inv-proof
[(((((triple8) -> rule4)) -> rule1) OR ((((((triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule1))]
("lion" "is" "blue" "-")
((((triple8) -> (rule4 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
((((((((triple7) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The bear visits the cow.
True
4
proof
[(((((((triple1) -> rule5)) -> rule6)) -> rule4))]
("bear" "visits" "cow" "+")
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The cow does not like the cow.
False
5
inv-proof
[(((((triple7 ((triple8) -> rule4)) -> rule3)) -> rule6) OR ((((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule6) OR ((((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6) OR ((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6))]
("cow" "likes" "cow" "-")
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
((((triple7 ((((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
((((triple1 ((((((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
((((triple7 ((((((triple7) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
The lion is rough.
("lion" "is" "rough" "+")
int5
The bear is blue.
True
5
proof
[(((((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule1))]
("bear" "is" "blue" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The cow does not visit the cow.
False
6
inv-proof
[(((((((triple7 ((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4))]
("cow" "visits" "cow" "-")
((((((triple7 ((triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The lion visits the cow.
("lion" "visits" "cow" "+")
int4
((((((triple7 ((((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The lion visits the cow.
("lion" "visits" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
((((((triple1 ((((((triple1) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The bear visits the cow.
("bear" "visits" "cow" "+")
int4
The bear likes the cow.
("bear" "likes" "cow" "+")
int5
The bear is rough.
("bear" "is" "rough" "+")
int6
((((((triple7 ((((((triple7) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The lion visits the cow.
("lion" "visits" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6
The cow is blue.
True
7
proof
[(((((((((triple7 ((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1))]
("cow" "is" "blue" "+")
((((((((triple7 ((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
((((((((triple7 ((((triple6) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6
((((((((triple1 ((((((triple1) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The bear visits the cow.
("bear" "visits" "cow" "+")
int5
The bear likes the cow.
("bear" "likes" "cow" "+")
int6
The bear is rough.
("bear" "is" "rough" "+")
int7
((((((((triple7 ((((((triple7) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6
The lion is rough.
("lion" "is" "rough" "+")
int7
The cow is not blue.
False
7
inv-proof
[(((((((((triple7 ((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1))]
("cow" "is" "blue" "-")
((((((((triple7 ((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
((((((((triple7 ((((triple6) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6
((((((((triple1 ((((((triple1) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The bear visits the cow.
("bear" "visits" "cow" "+")
int5
The bear likes the cow.
("bear" "likes" "cow" "+")
int6
The bear is rough.
("bear" "is" "rough" "+")
int7
((((((((triple7 ((((((triple7) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6
The lion is rough.
("lion" "is" "rough" "+")
int7
The rabbit does not like the cow.
Unknown
inv-rconc
[@2: The rabbit likes the cow.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("rabbit" "likes" "cow" "-")
The cow sees the rabbit.
Unknown
rconc
[@1: The cow sees the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "sees" "rabbit" "+")
The lion does not see the rabbit.
Unknown
inv-rconc
[@1: The lion sees the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "sees" "rabbit" "-")
The rabbit is rough.
Unknown
rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "rough" "+")
The rabbit does not see the cow.
Unknown
inv-rconc
[@2: The rabbit sees the cow.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("rabbit" "sees" "cow" "-")
The rabbit visits the cow.
Unknown
rconc
[@3: The rabbit visits the cow.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule5 <- FAIL)]]
("rabbit" "visits" "cow" "+")
The bear does not see the lion.
Unknown
inv-random
[@0: The bear sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "lion" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
The cow does not visit the rabbit.
Unknown
inv-random
[@0: The cow visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "rabbit" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The bear visits the rabbit.
Unknown
random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "+")
@0: The bear is round.[(triple1)] The bear likes the rabbit.[(triple2)] The bear visits the lion.[(triple3)] The cow is green.[(triple4)] The cow visits the lion.[(triple5)] The lion is rough.[(triple6 OR ((triple7) -> rule5))] The lion is round.[(triple7)] The lion likes the cow.[(triple8 OR ((triple6) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] The lion likes the rabbit.[(triple9)] The lion sees the cow.[(triple10 OR ((triple6) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] The rabbit is green.[(triple11)] The rabbit likes the bear.[(triple12)] The rabbit likes the lion.[(triple13)] The rabbit visits the bear.[(triple14)] @1: The bear is rough.[(((triple1) -> rule5))] The lion visits the cow.[(((triple8) -> rule4) OR ((((triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule5)) -> rule6)) -> rule4))] The rabbit sees the rabbit.[(((triple12) -> rule7))] @2: The bear likes the cow.[(((((triple1) -> rule5)) -> rule6))] The bear sees the cow.[(((((triple1) -> rule5)) -> rule2))] The cow is rough.[(((triple7 ((triple8) -> rule4)) -> rule3) OR ((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3) OR ((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3) OR ((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3))] The lion is blue.[(((((triple8) -> rule4)) -> rule1) OR ((((((triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule1))] @3: The bear visits the cow.[(((((((triple1) -> rule5)) -> rule6)) -> rule4))] The cow likes the cow.[(((((triple7 ((triple8) -> rule4)) -> rule3)) -> rule6) OR ((((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule6) OR ((((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6) OR ((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6))] The cow sees the cow.[(((((triple7 ((triple8) -> rule4)) -> rule3)) -> rule2) OR ((((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule2))] @4: The bear is blue.[(((((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule1))] The cow visits the cow.[(((((((triple7 ((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4))] @5: The cow is blue.[(((((((((triple7 ((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple7 ((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule6)) -> rule4)) -> rule1))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple2
The bear visits the lion.
("bear" "visits" "lion" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
((triple7) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is round.
("lion" "is" "round" "+")
triple7
The lion likes the cow.
("lion" "likes" "cow" "+")
triple8
((triple6) -> (rule6 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple9
The lion sees the cow.
("lion" "sees" "cow" "+")
triple10
((triple6) -> (rule2 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple12
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple13
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple14
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule5 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
((triple8) -> (rule4 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule4 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple12) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear sees the cow.
("bear" "sees" "cow" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
((triple7 ((((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
((triple1 ((((((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
((triple7 ((((((triple7) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The lion is blue.
("lion" "is" "blue" "+")
((((triple8) -> (rule4 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
((((((((triple7) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The bear visits the cow.
("bear" "visits" "cow" "+")
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear likes the cow.
("bear" "likes" "cow" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
((((triple7 ((((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
((((triple1 ((((((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
((((triple7 ((((((triple7) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
The lion is rough.
("lion" "is" "rough" "+")
int5
The cow sees the cow.
("cow" "sees" "cow" "+")
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
((((triple7 ((((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
((((triple1 ((((((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The bear likes the cow.
("bear" "likes" "cow" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
((((triple7 ((((((triple7) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion visits the cow.
("lion" "visits" "cow" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
int4
The lion is rough.
("lion" "is" "rough" "+")
int5
The bear is blue.
("bear" "is" "blue" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The bear likes the cow.
("bear" "likes" "cow" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The cow visits the cow.
("cow" "visits" "cow" "+")
((((((triple7 ((triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The lion visits the cow.
("lion" "visits" "cow" "+")
int4
((((((triple7 ((((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The lion visits the cow.
("lion" "visits" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
((((((triple1 ((((((triple1) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The bear visits the cow.
("bear" "visits" "cow" "+")
int4
The bear likes the cow.
("bear" "likes" "cow" "+")
int5
The bear is rough.
("bear" "is" "rough" "+")
int6
((((((triple7 ((((((triple7) -> (rule5 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The lion visits the cow.
("lion" "visits" "cow" "+")
int4
The lion likes the cow.
("lion" "likes" "cow" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6
The cow is blue.
("cow" "is" "blue" "+")
((((((((triple7 ((triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
((((((((triple7 ((((triple6) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6
((((((((triple1 ((((((triple1) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The bear visits the cow.
("bear" "visits" "cow" "+")
int5
The bear likes the cow.
("bear" "likes" "cow" "+")
int6
The bear is rough.
("bear" "is" "rough" "+")
int7
((((((((triple7 ((((((triple7) -> (rule5 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow likes the cow.
("cow" "likes" "cow" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
int4
The lion visits the cow.
("lion" "visits" "cow" "+")
int5
The lion likes the cow.
("lion" "likes" "cow" "+")
int6
The lion is rough.
("lion" "is" "rough" "+")
int7