The cow chases the rabbit. The cow is not red. The dog chases the cow. The dog is not blue. The dog is cold. The dog needs the rabbit. The dog sees the cow. The dog sees the lion. The lion chases the rabbit. The lion needs the rabbit. The lion sees the dog. The rabbit chases the lion. The rabbit is rough. The rabbit needs the cow. If the dog sees the rabbit then the rabbit is cold. If something is cold and not green then it needs the lion. If something is rough and it does not see the dog then it needs the lion. If something is blue and it sees the dog then the dog needs the lion. If something chases the cow then it is cold. If something needs the dog then the dog is rough. If something is cold and rough then it sees the rabbit. If something is cold and it does not need the cow then the cow sees the lion. If something needs the rabbit then it needs the dog.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is not red.
("cow" "is" "red" "-")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If the dog sees the rabbit then the rabbit is cold.
((("dog" "sees" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
If something is cold and not green then it needs the lion.
((("something" "is" "cold" "+") ("something" "is" "green" "~")) -> ("something" "needs" "lion" "+"))
If something is rough and it does not see the dog then it needs the lion.
((("something" "is" "rough" "+") ("something" "sees" "dog" "~")) -> ("something" "needs" "lion" "+"))
If something is blue and it sees the dog then the dog needs the lion.
((("something" "is" "blue" "+") ("something" "sees" "dog" "+")) -> ("dog" "needs" "lion" "+"))
If something chases the cow then it is cold.
((("something" "chases" "cow" "+")) -> ("something" "is" "cold" "+"))
If something needs the dog then the dog is rough.
((("something" "needs" "dog" "+")) -> ("dog" "is" "rough" "+"))
If something is cold and rough then it sees the rabbit.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "sees" "rabbit" "+"))
If something is cold and it does not need the cow then the cow sees the lion.
((("something" "is" "cold" "+") ("something" "needs" "cow" "~")) -> ("cow" "sees" "lion" "+"))
If something needs the rabbit then it needs the dog.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "dog" "+"))
The dog is not blue.
True
1
proof
[(triple4)]
("dog" "is" "blue" "-")
triple4
The dog does not see the cow.
False
1
inv-proof
[(triple7)]
("dog" "sees" "cow" "-")
triple7
The lion needs the dog.
True
2
proof
[(((triple10) -> rule9))]
("lion" "needs" "dog" "+")
((triple10) -> (rule9 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The dog does not need the dog.
False
2
inv-proof
[(((triple6) -> rule9))]
("dog" "needs" "dog" "-")
((triple6) -> (rule9 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is rough.
True
3
proof
[(((((triple10) -> rule9)) -> rule6) OR ((((triple6) -> rule9)) -> rule6))]
("dog" "is" "rough" "+")
((((triple10) -> (rule9 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
int2
((((triple6) -> (rule9 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is not rough.
False
3
inv-proof
[(((((triple10) -> rule9)) -> rule6) OR ((((triple6) -> rule9)) -> rule6))]
("dog" "is" "rough" "-")
((((triple10) -> (rule9 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
int2
((((triple6) -> (rule9 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog sees the rabbit.
True
5
proof
[(((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7) OR ((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7) OR ((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7) OR ((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7))]
("dog" "sees" "rabbit" "+")
((triple5 ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
((triple5 ((((triple6) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
((((triple3) -> (rule5 % int4)) ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
((((triple3) -> (rule5 % int4)) ((((triple6) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The dog does not see the rabbit.
False
5
inv-proof
[(((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7) OR ((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7) OR ((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7) OR ((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7))]
("dog" "sees" "rabbit" "-")
((triple5 ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
((triple5 ((((triple6) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
((((triple3) -> (rule5 % int4)) ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
((((triple3) -> (rule5 % int4)) ((((triple6) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The rabbit is cold.
True
6
proof
[(((((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1))]
("rabbit" "is" "cold" "+")
((((triple5 ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((triple5 ((((triple6) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
((((((triple3) -> (rule5 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
((((((triple3) -> (rule5 % int5)) ((((triple6) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
The rabbit is not cold.
False
6
inv-proof
[(((((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1))]
("rabbit" "is" "cold" "-")
((((triple5 ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((triple5 ((((triple6) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
((((((triple3) -> (rule5 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
((((((triple3) -> (rule5 % int5)) ((((triple6) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
The rabbit sees the rabbit.
True
8
proof
[(((((((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7))]
("rabbit" "sees" "rabbit" "+")
((((((triple5 ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
((((((triple5 ((((triple6) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
((((((((triple3) -> (rule5 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6
((((((((triple3) -> (rule5 % int6)) ((((triple6) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6
The rabbit does not see the rabbit.
False
8
inv-proof
[(((((((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7))]
("rabbit" "sees" "rabbit" "-")
((((((triple5 ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
((((((triple5 ((((triple6) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
((((((((triple3) -> (rule5 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6
((((((((triple3) -> (rule5 % int6)) ((((triple6) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "cold" "-")
The rabbit needs the dog.
Unknown
rconc
[@1: The rabbit needs the dog.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("rabbit" "needs" "dog" "+")
The cow does not see the rabbit.
Unknown
inv-rconc
[@1: The cow sees the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "sees" "rabbit" "-")
The lion sees the rabbit.
Unknown
rconc
[@1: The lion sees the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "sees" "rabbit" "+")
The rabbit does not need the lion.
Unknown
inv-rconc
[@1: The rabbit needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "lion" "-")
The cow sees the lion.
Unknown
rconc
[@1: The cow sees the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "sees" "lion" "+")
The lion does not chase the dog.
Unknown
inv-random
[@0: The lion chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "dog" "-")
The dog chases the rabbit.
Unknown
random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is not red.[(triple2)] The dog chases the cow.[(triple3)] The dog is cold.[(triple5 OR ((triple3) -> rule5))] The dog is not blue.[(triple4)] The dog needs the rabbit.[(triple6)] The dog sees the cow.[(triple7)] The dog sees the lion.[(triple8)] The lion chases the rabbit.[(triple9)] The lion needs the rabbit.[(triple10)] The lion sees the dog.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit is rough.[(triple13)] The rabbit needs the cow.[(triple14)] @1: The dog needs the dog.[(((triple6) -> rule9))] The lion needs the dog.[(((triple10) -> rule9))] @2: The dog is rough.[(((((triple10) -> rule9)) -> rule6) OR ((((triple6) -> rule9)) -> rule6))] @3: The dog sees the rabbit.[(((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7) OR ((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7) OR ((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7) OR ((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7))] @4: The rabbit is cold.[(((((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) OR ((((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1))] @5: The rabbit sees the rabbit.[(((((((triple5 ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((triple5 ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((((triple3) -> rule5) ((((triple10) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7) OR ((((((((triple3) -> rule5) ((((triple6) -> rule9)) -> rule6)) -> rule7)) -> rule1) triple13) -> rule7))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is not red.
("cow" "is" "red" "-")
triple2
The dog chases the cow.
("dog" "chases" "cow" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple5
((triple3) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not blue.
("dog" "is" "blue" "-")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
The dog sees the cow.
("dog" "sees" "cow" "+")
triple7
The dog sees the lion.
("dog" "sees" "lion" "+")
triple8
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple9
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple10
The lion sees the dog.
("lion" "sees" "dog" "+")
triple11
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple14
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple6) -> (rule9 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
((triple10) -> (rule9 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((((triple10) -> (rule9 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The lion needs the dog.
("lion" "needs" "dog" "+")
int2
((((triple6) -> (rule9 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
((triple5 ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
((triple5 ((((triple6) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
((((triple3) -> (rule5 % int4)) ((((triple10) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The lion needs the dog.
("lion" "needs" "dog" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
((((triple3) -> (rule5 % int4)) ((((triple6) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog is cold.
("dog" "is" "cold" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
((((triple5 ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
((((triple5 ((((triple6) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
((((((triple3) -> (rule5 % int5)) ((((triple10) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The lion needs the dog.
("lion" "needs" "dog" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
((((((triple3) -> (rule5 % int5)) ((((triple6) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The dog is cold.
("dog" "is" "cold" "+")
int5
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((((((triple5 ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
((((((triple5 ((((triple6) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
((((((((triple3) -> (rule5 % int6)) ((((triple10) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The lion needs the dog.
("lion" "needs" "dog" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6
((((((((triple3) -> (rule5 % int6)) ((((triple6) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule7 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The dog is cold.
("dog" "is" "cold" "+")
int6