The cow chases the dog. The cow chases the lion. The cow chases the rabbit. The cow is nice. The cow visits the dog. The dog chases the lion. The dog chases the rabbit. The dog is kind. The lion chases the dog. The lion chases the rabbit. The lion is rough. The lion visits the cow. The lion visits the rabbit. The rabbit is kind. The rabbit is round. The rabbit visits the dog. If the lion eats the dog then the dog visits the lion. If someone visits the cow and they visit the rabbit then they are round. If someone chases the dog and the dog is kind then they are red. If someone chases the rabbit and they are rough then they eat the lion. If someone chases the dog then they are rough. If someone eats the lion then they are nice. If someone is nice and kind then they chase the dog. If someone visits the rabbit and they eat the lion then the rabbit eats the lion.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is kind.
("dog" "is" "kind" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If the lion eats the dog then the dog visits the lion.
((("lion" "eats" "dog" "+")) -> ("dog" "visits" "lion" "+"))
If someone visits the cow and they visit the rabbit then they are round.
((("someone" "visits" "cow" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If someone chases the dog and the dog is kind then they are red.
((("someone" "chases" "dog" "+") ("dog" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone chases the rabbit and they are rough then they eat the lion.
((("someone" "chases" "rabbit" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "lion" "+"))
If someone chases the dog then they are rough.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the lion then they are nice.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind then they chase the dog.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "dog" "+"))
If someone visits the rabbit and they eat the lion then the rabbit eats the lion.
((("someone" "visits" "rabbit" "+") ("someone" "eats" "lion" "+")) -> ("rabbit" "eats" "lion" "+"))
The rabbit visits the dog.
True
1
proof
[(triple16)]
("rabbit" "visits" "dog" "+")
triple16
The lion does not visit the cow.
False
1
inv-proof
[(triple12)]
("lion" "visits" "cow" "-")
triple12
The cow is rough.
True
2
proof
[(((triple1) -> rule5))]
("cow" "is" "rough" "+")
((triple1) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The lion is not red.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("lion" "is" "red" "-")
((triple9 triple8) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The cow eats the lion.
True
4
proof
[(((triple3 ((triple1) -> rule5)) -> rule4))]
("cow" "eats" "lion" "+")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion is not nice.
False
4
inv-proof
[(((((triple10 triple11) -> rule4)) -> rule6) OR ((((triple10 ((triple9) -> rule5)) -> rule4)) -> rule6))]
("lion" "is" "nice" "-")
((((triple10 triple11) -> (rule4 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple10 ((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The rabbit is nice.
True
6
proof
[(((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) OR ((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6))]
("rabbit" "is" "nice" "+")
((((triple13 ((triple10 triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((triple13 ((triple10 ((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The rabbit is not nice.
False
6
inv-proof
[(((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) OR ((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6))]
("rabbit" "is" "nice" "-")
((((triple13 ((triple10 triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((triple13 ((triple10 ((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The rabbit chases the dog.
True
8
proof
[(((((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7) OR ((((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7))]
("rabbit" "chases" "dog" "+")
((((((triple13 ((triple10 triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple14) -> (rule7 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((triple13 ((triple10 ((triple9) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple14) -> (rule7 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The lion is rough.
("lion" "is" "rough" "+")
int5
The rabbit does not chase the dog.
False
8
inv-proof
[(((((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7) OR ((((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7))]
("rabbit" "chases" "dog" "-")
((((((triple13 ((triple10 triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple14) -> (rule7 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((triple13 ((triple10 ((triple9) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple14) -> (rule7 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The lion is rough.
("lion" "is" "rough" "+")
int5
The rabbit is rough.
True
9
proof
[(((((((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7)) -> rule5) OR ((((((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7)) -> rule5))]
("rabbit" "is" "rough" "+")
((((((((triple13 ((triple10 triple11) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple14) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple13 ((triple10 ((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple14) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6
The rabbit is not red.
False
10
inv-proof
[(((((((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7) triple8) -> rule3) OR ((((((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7) triple8) -> rule3))]
("rabbit" "is" "red" "-")
((((((((triple13 ((triple10 triple11) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple14) -> (rule7 % int2)) triple8) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple13 ((triple10 ((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple14) -> (rule7 % int2)) triple8) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "round" "-")
The dog is rough.
Unknown
rconc
[@4: The dog is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule6 <- rule4 <- FAIL)]]
("dog" "is" "rough" "+")
The dog does not chase the dog.
Unknown
inv-rconc
[@4: The dog chases the dog.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule4 <- rule5 <- FAIL)]]
("dog" "chases" "dog" "-")
The dog is nice.
Unknown
rconc
[@4: The dog is nice.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule5 <- rule7 <- FAIL)]]
("dog" "is" "nice" "+")
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "round" "-")
The dog visits the lion.
Unknown
rconc
[@1: The dog visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "lion" "+")
The dog does not eat the rabbit.
Unknown
inv-random
[@0: The dog eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "rabbit" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The lion chases the cow.
Unknown
random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "+")
The lion does not visit the dog.
Unknown
inv-random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "-")
The rabbit visits the cow.
Unknown
random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the lion.[(triple2)] The cow chases the rabbit.[(triple3)] The cow is nice.[(triple4 OR ((((triple3 ((triple1) -> rule5)) -> rule4)) -> rule6))] The cow visits the dog.[(triple5)] The dog chases the lion.[(triple6)] The dog chases the rabbit.[(triple7)] The dog is kind.[(triple8)] The lion chases the dog.[(triple9)] The lion chases the rabbit.[(triple10)] The lion is rough.[(triple11 OR ((triple9) -> rule5))] The lion visits the cow.[(triple12)] The lion visits the rabbit.[(triple13)] The rabbit is kind.[(triple14)] The rabbit is round.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The cow is red.[(((triple1 triple8) -> rule3))] The cow is rough.[(((triple1) -> rule5))] The lion eats the lion.[(((triple10 triple11) -> rule4) OR ((triple10 ((triple9) -> rule5)) -> rule4))] The lion is red.[(((triple9 triple8) -> rule3))] The lion is round.[(((triple12 triple13) -> rule2))] @2: The cow eats the lion.[(((triple3 ((triple1) -> rule5)) -> rule4))] The lion is nice.[(((((triple10 triple11) -> rule4)) -> rule6) OR ((((triple10 ((triple9) -> rule5)) -> rule4)) -> rule6))] The rabbit eats the lion.[(((triple13 ((triple10 triple11) -> rule4)) -> rule8) OR ((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8))] @3: The rabbit is nice.[(((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) OR ((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6))] @4: The rabbit chases the dog.[(((((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7) OR ((((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7))] @5: The rabbit is red.[(((((((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7) triple8) -> rule3) OR ((((((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7) triple8) -> rule3))] The rabbit is rough.[(((((((((triple13 ((triple10 triple11) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7)) -> rule5) OR ((((((((triple13 ((triple10 ((triple9) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple14) -> rule7)) -> rule5))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the lion.
("cow" "chases" "lion" "+")
triple2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
((((triple3 ((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow visits the dog.
("cow" "visits" "dog" "+")
triple5
The dog chases the lion.
("dog" "chases" "lion" "+")
triple6
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The lion chases the dog.
("lion" "chases" "dog" "+")
triple9
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple10
The lion is rough.
("lion" "is" "rough" "+")
triple11
((triple9) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple13
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The rabbit is round.
("rabbit" "is" "round" "+")
triple15
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple16
The cow is red.
("cow" "is" "red" "+")
((triple1 triple8) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple1) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple10 triple11) -> (rule4 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
((triple10 ((triple9) -> (rule5 % int2))) -> (rule4 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is red.
("lion" "is" "red" "+")
((triple9 triple8) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((triple12 triple13) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The cow eats the lion.
("cow" "eats" "lion" "+")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
((((triple10 triple11) -> (rule4 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple10 ((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
((triple13 ((triple10 triple11) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((triple13 ((triple10 ((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple13 ((triple10 triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((triple13 ((triple10 ((triple9) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
int4
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
((((((triple13 ((triple10 triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple14) -> (rule7 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((((triple13 ((triple10 ((triple9) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple14) -> (rule7 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The lion is rough.
("lion" "is" "rough" "+")
int5
The rabbit is red.
("rabbit" "is" "red" "+")
((((((((triple13 ((triple10 triple11) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple14) -> (rule7 % int2)) triple8) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple13 ((triple10 ((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple14) -> (rule7 % int2)) triple8) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((((((triple13 ((triple10 triple11) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple14) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((((triple13 ((triple10 ((triple9) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple14) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
The lion is rough.
("lion" "is" "rough" "+")
int6