The cat eats the rabbit. The cat is green. The cat is kind. The cat is rough. The cat is round. The cat likes the rabbit. The cat visits the rabbit. The rabbit eats the cat. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit likes the cat. The rabbit visits the cat. If something is kind then it visits the rabbit. If something is nice then it eats the cat. If something is round then it likes the cat. If something visits the cat and it visits the rabbit then the rabbit likes the cat. If the rabbit likes the cat then the cat is nice. All rough things are kind. If something likes the cat and it eats the cat then it visits the cat. If something is round and it likes the cat then the cat likes the rabbit.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something is kind then it visits the rabbit.
((("something" "is" "kind" "+")) -> ("something" "visits" "rabbit" "+"))
If something is nice then it eats the cat.
((("something" "is" "nice" "+")) -> ("something" "eats" "cat" "+"))
If something is round then it likes the cat.
((("something" "is" "round" "+")) -> ("something" "likes" "cat" "+"))
If something visits the cat and it visits the rabbit then the rabbit likes the cat.
((("something" "visits" "cat" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "likes" "cat" "+"))
If the rabbit likes the cat then the cat is nice.
((("rabbit" "likes" "cat" "+")) -> ("cat" "is" "nice" "+"))
All rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something likes the cat and it eats the cat then it visits the cat.
((("something" "likes" "cat" "+") ("something" "eats" "cat" "+")) -> ("something" "visits" "cat" "+"))
If something is round and it likes the cat then the cat likes the rabbit.
((("something" "is" "round" "+") ("something" "likes" "cat" "+")) -> ("cat" "likes" "rabbit" "+"))
The rabbit eats the cat.
True
1
proof
[(triple8 OR ((triple11) -> rule2))]
("rabbit" "eats" "cat" "+")
triple8
((triple11) -> (rule2 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The cat does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("cat" "eats" "rabbit" "-")
triple1
The cat is nice.
True
2
proof
[(((triple14) -> rule5) OR ((((triple13) -> rule3)) -> rule5) OR ((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5))]
("cat" "is" "nice" "+")
((triple14) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
((((triple15 ((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
((((triple15 ((((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The cat does not like the cat.
False
2
inv-proof
[(((triple5) -> rule3))]
("cat" "likes" "cat" "-")
((triple5) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat eats the cat.
True
3
proof
[(((((triple14) -> rule5)) -> rule2) OR ((((((triple13) -> rule3)) -> rule5)) -> rule2) OR ((((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule2))]
("cat" "eats" "cat" "+")
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
((((((triple15 ((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
((((((triple15 ((((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The cat does not eat the cat.
False
3
inv-proof
[(((((triple14) -> rule5)) -> rule2) OR ((((((triple13) -> rule3)) -> rule5)) -> rule2) OR ((((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule2))]
("cat" "eats" "cat" "-")
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
((((((triple15 ((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
((((((triple15 ((((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The cat visits the cat.
True
6
proof
[(((((triple5) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple13) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule2)) -> rule7))]
("cat" "visits" "cat" "+")
((((triple5) -> (rule3 % int4)) ((((triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
((((triple5) -> (rule3 % int5)) ((((((triple13) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
((((triple5) -> (rule3 % int6)) ((((((triple15 ((triple10) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The cat likes the cat.
("cat" "likes" "cat" "+")
int6
((((triple5) -> (rule3 % int7)) ((((((triple15 ((((triple12) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The cat likes the cat.
("cat" "likes" "cat" "+")
int7
The cat does not visit the cat.
False
6
inv-proof
[(((((triple5) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple13) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule2)) -> rule7))]
("cat" "visits" "cat" "-")
((((triple5) -> (rule3 % int4)) ((((triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
((((triple5) -> (rule3 % int5)) ((((((triple13) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
((((triple5) -> (rule3 % int6)) ((((((triple15 ((triple10) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The cat likes the cat.
("cat" "likes" "cat" "+")
int6
((((triple5) -> (rule3 % int7)) ((((((triple15 ((((triple12) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The cat likes the cat.
("cat" "likes" "cat" "+")
int7
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cat eats the rabbit.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3 OR ((triple4) -> rule6))] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat likes the rabbit.[(triple6 OR ((triple13 triple14) -> rule8) OR ((triple13 ((triple13) -> rule3)) -> rule8) OR ((triple5 ((triple5) -> rule3)) -> rule8) OR ((triple13 ((triple15 ((triple10) -> rule1)) -> rule4)) -> rule8) OR ((triple13 ((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule8))] The cat visits the rabbit.[(triple7 OR ((triple3) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] The rabbit eats the cat.[(triple8 OR ((triple11) -> rule2))] The rabbit is green.[(triple9)] The rabbit is kind.[(triple10 OR ((triple12) -> rule6))] The rabbit is nice.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the cat.[(triple14 OR ((triple13) -> rule3) OR ((triple15 ((triple10) -> rule1)) -> rule4) OR ((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4))] The rabbit visits the cat.[(triple15 OR ((triple14 triple8) -> rule7) OR ((triple14 ((triple11) -> rule2)) -> rule7) OR ((((triple13) -> rule3) triple8) -> rule7) OR ((((triple13) -> rule3) ((triple11) -> rule2)) -> rule7))] @1: The cat is nice.[(((triple14) -> rule5) OR ((((triple13) -> rule3)) -> rule5) OR ((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5))] The cat likes the cat.[(((triple5) -> rule3))] The rabbit visits the rabbit.[(((triple10) -> rule1) OR ((((triple12) -> rule6)) -> rule1))] @2: The cat eats the cat.[(((((triple14) -> rule5)) -> rule2) OR ((((((triple13) -> rule3)) -> rule5)) -> rule2) OR ((((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule2))] @3: The cat visits the cat.[(((((triple5) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple13) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule2)) -> rule7))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
((triple4) -> (rule6 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple6
((triple13 triple14) -> (rule8 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
((triple13 ((triple13) -> (rule3 % int2))) -> (rule8 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
((triple5 ((triple5) -> (rule3 % int2))) -> (rule8 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
((triple13 ((triple15 ((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
((triple13 ((triple15 ((((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple7
((triple3) -> (rule1 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple8
((triple11) -> (rule2 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
((triple12) -> (rule6 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple14
((triple13) -> (rule3 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
((triple15 ((triple10) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
((triple15 ((((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
((triple14 triple8) -> (rule7 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
((triple14 ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int2
((((triple13) -> (rule3 % int2)) triple8) -> (rule7 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
((((triple13) -> (rule3 % int3)) ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
((triple14) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
((((triple15 ((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
((((triple15 ((((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple5) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple10) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((((((triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
((((((triple15 ((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
((((((triple15 ((((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple5) -> (rule3 % int4)) ((((triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
((((triple5) -> (rule3 % int5)) ((((((triple13) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
((((triple5) -> (rule3 % int6)) ((((((triple15 ((triple10) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The cat likes the cat.
("cat" "likes" "cat" "+")
int6
((((triple5) -> (rule3 % int7)) ((((((triple15 ((((triple12) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The cat likes the cat.
("cat" "likes" "cat" "+")
int7