The cat is green. The cat likes the tiger. The cat sees the mouse. The cat does not see the tiger. The mouse chases the cat. The mouse chases the tiger. The mouse is green. The mouse is round. The mouse sees the cat. The mouse sees the rabbit. The rabbit is not red. The rabbit is round. The rabbit does not like the cat. The rabbit likes the mouse. The tiger likes the cat. The tiger sees the rabbit. If something likes the cat and the cat sees the mouse then it is rough. If something chases the mouse then the mouse likes the tiger. If something sees the rabbit then it likes the cat. If something is rough then it chases the mouse. If something likes the tiger then it chases the rabbit. If something is red then it chases the rabbit. If something chases the rabbit then it does not like the rabbit. If something sees the tiger and the tiger is green then it chases the cat.
The cat is green.
("cat" "is" "green" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat does not see the tiger.
("cat" "sees" "tiger" "-")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something likes the cat and the cat sees the mouse then it is rough.
((("something" "likes" "cat" "+") ("cat" "sees" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something chases the mouse then the mouse likes the tiger.
((("something" "chases" "mouse" "+")) -> ("mouse" "likes" "tiger" "+"))
If something sees the rabbit then it likes the cat.
((("something" "sees" "rabbit" "+")) -> ("something" "likes" "cat" "+"))
If something is rough then it chases the mouse.
((("something" "is" "rough" "+")) -> ("something" "chases" "mouse" "+"))
If something likes the tiger then it chases the rabbit.
((("something" "likes" "tiger" "+")) -> ("something" "chases" "rabbit" "+"))
If something is red then it chases the rabbit.
((("something" "is" "red" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit then it does not like the rabbit.
((("something" "chases" "rabbit" "+")) -> ("something" "likes" "rabbit" "-"))
If something sees the tiger and the tiger is green then it chases the cat.
((("something" "sees" "tiger" "+") ("tiger" "is" "green" "+")) -> ("something" "chases" "cat" "+"))
The mouse is round.
True
1
proof
[(triple8)]
("mouse" "is" "round" "+")
triple8
The cat does not like the tiger.
False
1
inv-proof
[(triple2)]
("cat" "likes" "tiger" "-")
triple2
The cat chases the rabbit.
True
2
proof
[(((triple2) -> rule5))]
("cat" "chases" "rabbit" "+")
((triple2) -> (rule5 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The cat does not chase the rabbit.
False
2
inv-proof
[(((triple2) -> rule5))]
("cat" "chases" "rabbit" "-")
((triple2) -> (rule5 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The tiger chases the mouse.
True
4
proof
[(((((triple15 triple3) -> rule1)) -> rule4) OR ((((((triple16) -> rule3) triple3) -> rule1)) -> rule4))]
("tiger" "chases" "mouse" "+")
((((triple15 triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
((((((triple16) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int3
The mouse is not rough.
False
4
inv-proof
[(((((triple10) -> rule3) triple3) -> rule1))]
("mouse" "is" "rough" "-")
((((triple10) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int2
The mouse chases the mouse.
True
5
proof
[(((((((triple10) -> rule3) triple3) -> rule1)) -> rule4))]
("mouse" "chases" "mouse" "+")
((((((triple10) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int3
The mouse does not like the tiger.
False
5
inv-proof
[(((((((triple15 triple3) -> rule1)) -> rule4)) -> rule2) OR ((((((((triple10) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2) OR ((((((((triple16) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2))]
("mouse" "likes" "tiger" "-")
((((((triple15 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
((((((((triple10) -> (rule3 % int4)) triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int4
((((((((triple16) -> (rule3 % int4)) triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int4
The mouse chases the rabbit.
True
6
proof
[(((((((((triple15 triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple16) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5))]
("mouse" "chases" "rabbit" "+")
((((((((triple15 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
int4
((((((((((triple10) -> (rule3 % int5)) triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int5
((((((((((triple16) -> (rule3 % int5)) triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
int4
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int5
The mouse does not chase the rabbit.
False
6
inv-proof
[(((((((((triple15 triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple16) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5))]
("mouse" "chases" "rabbit" "-")
((((((((triple15 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
int4
((((((((((triple10) -> (rule3 % int5)) triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int5
((((((((((triple16) -> (rule3 % int5)) triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
int4
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int5
The mouse does not like the rabbit.
True
7
proof
[(((((((((((triple15 triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((((triple10) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((((triple16) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7))]
("mouse" "likes" "rabbit" "-")
((((((((((triple15 triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is rough.
("tiger" "is" "rough" "+")
int5
((((((((((((triple10) -> (rule3 % int6)) triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int6
((((((((((((triple16) -> (rule3 % int6)) triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is rough.
("tiger" "is" "rough" "+")
int5
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int6
The mouse likes the rabbit.
False
7
inv-proof
[(((((((((((triple15 triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((((triple10) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((((triple16) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7))]
("mouse" "likes" "rabbit" "+")
((((((((((triple15 triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is rough.
("tiger" "is" "rough" "+")
int5
((((((((((((triple10) -> (rule3 % int6)) triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int6
((((((((((((triple16) -> (rule3 % int6)) triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is rough.
("tiger" "is" "rough" "+")
int5
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int6
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "cat" "-")
The rabbit chases the cat.
Unknown
rconc
[@1: The rabbit chases the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "chases" "cat" "+")
The rabbit does not chase the mouse.
Unknown
inv-rconc
[@2: The rabbit chases the mouse.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("rabbit" "chases" "mouse" "-")
The cat chases the cat.
Unknown
rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "chases" "cat" "+")
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "rough" "-")
The cat is rough.
Unknown
rconc
[@2: The cat is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("cat" "is" "rough" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The tiger likes the rabbit.
Unknown
random
[@0: The tiger likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "rabbit" "+")
The tiger does not see the mouse.
Unknown
inv-random
[@0: The tiger sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "mouse" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The rabbit does not see the cat.
Unknown
inv-random
[@0: The rabbit sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "cat" "-")
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 does not see the tiger.[(triple4)] The cat is green.[(triple1)] The cat likes the tiger.[(triple2)] The cat sees the mouse.[(triple3)] The mouse chases the cat.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse is green.[(triple7)] The mouse is round.[(triple8)] The mouse sees the cat.[(triple9)] The mouse sees the rabbit.[(triple10)] The rabbit does not like the cat.[(triple13)] The rabbit is not red.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the mouse.[(triple14)] The tiger likes the cat.[(triple15 OR ((triple16) -> rule3))] The tiger sees the rabbit.[(triple16)] @1: The cat chases the rabbit.[(((triple2) -> rule5))] The mouse likes the cat.[(((triple10) -> rule3))] The tiger is rough.[(((triple15 triple3) -> rule1) OR ((((triple16) -> rule3) triple3) -> rule1))] @2: The cat does not like the rabbit.[(((((triple2) -> rule5)) -> rule7))] The mouse is rough.[(((((triple10) -> rule3) triple3) -> rule1))] The tiger chases the mouse.[(((((triple15 triple3) -> rule1)) -> rule4) OR ((((((triple16) -> rule3) triple3) -> rule1)) -> rule4))] @3: The mouse chases the mouse.[(((((((triple10) -> rule3) triple3) -> rule1)) -> rule4))] The mouse likes the tiger.[(((((((triple15 triple3) -> rule1)) -> rule4)) -> rule2) OR ((((((((triple10) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2) OR ((((((((triple16) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2))] @4: The mouse chases the rabbit.[(((((((((triple15 triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple16) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5))] @5: The mouse does not like the rabbit.[(((((((((((triple15 triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((((triple10) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((((((((triple16) -> rule3) triple3) -> rule1)) -> rule4)) -> rule2)) -> rule5)) -> rule7))]
The cat does not see the tiger.
("cat" "sees" "tiger" "-")
triple4
The cat is green.
("cat" "is" "green" "+")
triple1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple2
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple3
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple5
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple9
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple10
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
triple13
The rabbit is not red.
("rabbit" "is" "red" "-")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple14
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple15
((triple16) -> (rule3 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple16
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
((triple2) -> (rule5 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
((triple10) -> (rule3 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple15 triple3) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((((triple16) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int2
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
((((triple2) -> (rule5 % int2))) -> (rule7 % int1))
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
((((triple10) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
((((triple15 triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
((((((triple16) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((((triple10) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
((((((triple15 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
((((((((triple10) -> (rule3 % int4)) triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int4
((((((((triple16) -> (rule3 % int4)) triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int4
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
((((((((triple15 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
int4
((((((((((triple10) -> (rule3 % int5)) triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int5
((((((((((triple16) -> (rule3 % int5)) triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
int4
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int5
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
((((((((((triple15 triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is rough.
("tiger" "is" "rough" "+")
int5
((((((((((((triple10) -> (rule3 % int6)) triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int6
((((((((((((triple16) -> (rule3 % int6)) triple3) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is rough.
("tiger" "is" "rough" "+")
int5
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int6