The cow is green. If someone is green then they are kind. If someone is round and green then they are kind. If someone is young and round then they are not red. If someone is round and kind then they are green. If someone is kind and young then they are round. Kind people are young.
The cow is green.
("cow" "is" "green" "+")
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and green then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and round then they are not red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "-"))
If someone is round and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
The cow is green.
True
1
proof
[(triple1)]
("cow" "is" "green" "+")
triple1
The cow is not green.
False
1
inv-proof
[(triple1)]
("cow" "is" "green" "-")
triple1
The cow is kind.
True
2
proof
[(((triple1) -> rule1))]
("cow" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "is" "kind" "-")
((triple1) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
True
3
proof
[(((((triple1) -> rule1)) -> rule6))]
("cow" "is" "young" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is not young.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6))]
("cow" "is" "young" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is round.
True
6
proof
[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule5))]
("cow" "is" "round" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is not round.
False
6
inv-proof
[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule5))]
("cow" "is" "round" "-")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow is green.[(triple1)] @1: The cow is kind.[(((triple1) -> rule1))] @2: The cow is young.[(((((triple1) -> rule1)) -> rule6))] @3: The cow is round.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule5))] @4: The cow is not red.[(((((((triple1) -> rule1)) -> rule6) ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule3))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow is round.
("cow" "is" "round" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow is not red.
("cow" "is" "red" "-")
((((((triple1) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is not red.
("cow" "is" "red" "-")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4