The cow is young. Blue, kind people are nice. All young people are kind. If someone is kind and nice then they are blue. If someone is blue then they are rough. If someone is young then they are kind. All blue, kind people are rough. Nice, young people are rough. Young people are nice.
The cow is young.
("cow" "is" "young" "+")
Blue, kind people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
All young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
All blue, kind people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Nice, young people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
The cow is young.
True
1
proof
[(triple1)]
("cow" "is" "young" "+")
triple1
The cow is not young.
False
1
inv-proof
[(triple1)]
("cow" "is" "young" "-")
triple1
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow is young.[(triple1)] @1: The cow is kind.[(((triple1) -> rule2) OR ((triple1) -> rule5))] The cow is nice.[(((triple1) -> rule8))] @2: The cow is blue.[(((((triple1) -> rule2) ((triple1) -> rule8)) -> rule3) OR ((((triple1) -> rule5) ((triple1) -> rule8)) -> rule3))] The cow is rough.[(((((triple1) -> rule8) triple1) -> rule7) OR ((((((triple1) -> rule2) ((triple1) -> rule8)) -> rule3)) -> rule4) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule3)) -> rule4) OR ((((((triple1) -> rule2) ((triple1) -> rule8)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule2) ((triple1) -> rule8)) -> rule3) ((triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule5) ((triple1) -> rule8)) -> rule3) ((triple1) -> rule5)) -> rule6))]
The cow is young.
("cow" "is" "young" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple1) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((triple1) -> (rule8 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((((triple1) -> (rule2 % int3)) ((triple1) -> (rule8 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule7 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
((((((triple1) -> (rule2 % int4)) ((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple1) -> (rule2 % int4)) ((triple1) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule2 % int4))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple1) -> (rule2 % int4)) ((triple1) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule2 % int4))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4