The cat chases the tiger. The cat is young. The cat visits the rabbit. The rabbit chases the tiger. The rabbit eats the squirrel. The rabbit visits the cat. The rabbit visits the tiger. The squirrel chases the cat. The squirrel does not chase the rabbit. The tiger chases the cat. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is not young. The tiger visits the cat. Young, rough things are cold. If something visits the cat then the cat eats the rabbit. All cold things are kind. If something eats the rabbit then it is rough. If something is kind and it eats the rabbit then it is not green. If something chases the rabbit then the rabbit chases the cat. If the cat visits the tiger then the tiger is not rough. If the tiger visits the cat and the tiger eats the cat then the cat chases the rabbit. If the squirrel eats the cat and the cat chases the squirrel then the squirrel does not visit the rabbit.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is young.
("cat" "is" "young" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel does not chase the rabbit.
("squirrel" "chases" "rabbit" "-")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
Young, rough things are cold.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something visits the cat then the cat eats the rabbit.
((("something" "visits" "cat" "+")) -> ("cat" "eats" "rabbit" "+"))
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something eats the rabbit then it is rough.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "rough" "+"))
If something is kind and it eats the rabbit then it is not green.
((("something" "is" "kind" "+") ("something" "eats" "rabbit" "+")) -> ("something" "is" "green" "-"))
If something chases the rabbit then the rabbit chases the cat.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "chases" "cat" "+"))
If the cat visits the tiger then the tiger is not rough.
((("cat" "visits" "tiger" "+")) -> ("tiger" "is" "rough" "-"))
If the tiger visits the cat and the tiger eats the cat then the cat chases the rabbit.
((("tiger" "visits" "cat" "+") ("tiger" "eats" "cat" "+")) -> ("cat" "chases" "rabbit" "+"))
If the squirrel eats the cat and the cat chases the squirrel then the squirrel does not visit the rabbit.
((("squirrel" "eats" "cat" "+") ("cat" "chases" "squirrel" "+")) -> ("squirrel" "visits" "rabbit" "-"))
The rabbit eats the squirrel.
True
1
proof
[(triple5)]
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit does not visit the cat.
False
1
inv-proof
[(triple6)]
("rabbit" "visits" "cat" "-")
triple6
The rabbit chases the cat.
True
2
proof
[(((triple11) -> rule6))]
("rabbit" "chases" "cat" "+")
((triple11) -> (rule6 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit does not chase the cat.
False
2
inv-proof
[(((triple11) -> rule6))]
("rabbit" "chases" "cat" "-")
((triple11) -> (rule6 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The cat is rough.
True
3
proof
[(((((triple14) -> rule2)) -> rule4) OR ((((triple6) -> rule2)) -> rule4))]
("cat" "is" "rough" "+")
((((triple14) -> (rule2 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat is not rough.
False
3
inv-proof
[(((((triple14) -> rule2)) -> rule4) OR ((((triple6) -> rule2)) -> rule4))]
("cat" "is" "rough" "-")
((((triple14) -> (rule2 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat is cold.
True
5
proof
[(((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1) OR ((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1))]
("cat" "is" "cold" "+")
((triple2 ((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
((triple2 ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is not cold.
False
5
inv-proof
[(((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1) OR ((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1))]
("cat" "is" "cold" "-")
((triple2 ((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
((triple2 ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is kind.
True
6
proof
[(((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) OR ((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3))]
("cat" "is" "kind" "+")
((((triple2 ((((triple14) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
((((triple2 ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is not kind.
False
6
inv-proof
[(((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) OR ((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3))]
("cat" "is" "kind" "-")
((((triple2 ((((triple14) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
((((triple2 ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is not green.
True
9
proof
[(((((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple14) -> rule2)) -> rule5) OR ((((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple6) -> rule2)) -> rule5) OR ((((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple14) -> rule2)) -> rule5) OR ((((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple6) -> rule2)) -> rule5))]
("cat" "is" "green" "-")
((((((triple2 ((((triple14) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple14) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple14) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple14) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The cat is green.
False
9
inv-proof
[(((((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple14) -> rule2)) -> rule5) OR ((((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple6) -> rule2)) -> rule5) OR ((((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple14) -> rule2)) -> rule5) OR ((((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple6) -> rule2)) -> rule5))]
("cat" "is" "green" "+")
((((((triple2 ((((triple14) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple14) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple14) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple14) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
The tiger is not kind.
Unknown
inv-rconc
[@2: The tiger is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("tiger" "is" "kind" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "rough" "+")
The rabbit is not cold.
Unknown
inv-rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit is rough.
Unknown
rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "rough" "+")
The squirrel is not kind.
Unknown
inv-rconc
[@2: The squirrel is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("squirrel" "is" "kind" "-")
The rabbit is kind.
Unknown
rconc
[@2: The rabbit is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("rabbit" "is" "kind" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The tiger does not chase the squirrel.
Unknown
inv-random
[@0: The tiger chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "squirrel" "-")
The squirrel chases the tiger.
Unknown
random
[@0: The squirrel chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "tiger" "+")
@0: The cat chases the tiger.[(triple1)] The cat is young.[(triple2)] The cat visits the rabbit.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit visits the cat.[(triple6)] The rabbit visits the tiger.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel does not chase the rabbit.[(triple9)] The tiger chases the cat.[(triple10)] The tiger chases the rabbit.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is not young.[(triple13)] The tiger visits the cat.[(triple14)] @1: The cat eats the rabbit.[(((triple14) -> rule2) OR ((triple6) -> rule2))] The rabbit chases the cat.[(((triple11) -> rule6))] The tiger is rough.[(((triple12) -> rule4))] @2: The cat is rough.[(((((triple14) -> rule2)) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] @3: The cat is cold.[(((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1) OR ((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1))] @4: The cat is kind.[(((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) OR ((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3))] @5: The cat is not green.[(((((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple14) -> rule2)) -> rule5) OR ((((((triple2 ((((triple14) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple6) -> rule2)) -> rule5) OR ((((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple14) -> rule2)) -> rule5) OR ((((((triple2 ((((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule3) ((triple6) -> rule2)) -> rule5))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple6
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel does not chase the rabbit.
("squirrel" "chases" "rabbit" "-")
triple9
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple10
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple11
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple12
The tiger is not young.
("tiger" "is" "young" "-")
triple13
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple14
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((triple14) -> (rule2 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
((triple6) -> (rule2 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
((triple11) -> (rule6 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple12) -> (rule4 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((((triple14) -> (rule2 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
((triple2 ((((triple14) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
((triple2 ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
((((triple2 ((((triple14) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
((((triple2 ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int4
The cat is not green.
("cat" "is" "green" "-")
((((((triple2 ((((triple14) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple14) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple14) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple14) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5
((((((triple2 ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule2 % int5))) -> (rule5 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int5