The tiger is big. Big people are kind. If someone is young then they are kind. Blue people are kind. If the tiger is nice and the tiger is big then the tiger is young. Kind, nice people are blue. Big, nice people are kind. Kind people are nice. All blue people are nice.
The tiger is big.
("tiger" "is" "big" "+")
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If the tiger is nice and the tiger is big then the tiger is young.
((("tiger" "is" "nice" "+") ("tiger" "is" "big" "+")) -> ("tiger" "is" "young" "+"))
Kind, nice people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Big, nice people are kind.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
The tiger is big.
True
1
proof
[(triple1)]
("tiger" "is" "big" "+")
triple1
The tiger is not big.
False
1
inv-proof
[(triple1)]
("tiger" "is" "big" "-")
triple1
The tiger is kind.
True
2
proof
[(((triple1) -> rule1))]
("tiger" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("tiger" "is" "kind" "-")
((triple1) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
True
3
proof
[(((((triple1) -> rule1)) -> rule7))]
("tiger" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is not nice.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule7))]
("tiger" "is" "nice" "-")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
True
6
proof
[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule7)) -> rule5))]
("tiger" "is" "blue" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is not young.
False
5
inv-proof
[(((((((triple1) -> rule1)) -> rule7) triple1) -> rule4))]
("tiger" "is" "young" "-")
((((((triple1) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The tiger is big.[(triple1)] @1: The tiger is kind.[(((triple1) -> rule1))] @2: The tiger is nice.[(((((triple1) -> rule1)) -> rule7))] @3: The tiger is blue.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule7)) -> rule5))] The tiger is young.[(((((((triple1) -> rule1)) -> rule7) triple1) -> rule4))]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
((((((triple1) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3