The dog is red. If someone is round then they are green. Red, kind people are green. Green, red people are kind. Green people are kind. Red people are round. If the dog is green then the dog is round.
The dog is red.
("dog" "is" "red" "+")
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Red, kind people are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Green, red people are kind.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If the dog is green then the dog is round.
((("dog" "is" "green" "+")) -> ("dog" "is" "round" "+"))
The dog is red.
True
1
proof
[(triple1)]
("dog" "is" "red" "+")
triple1
The dog is not red.
False
1
inv-proof
[(triple1)]
("dog" "is" "red" "-")
triple1
The dog is round.
True
2
proof
[(((triple1) -> rule5))]
("dog" "is" "round" "+")
((triple1) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
2
inv-proof
[(((triple1) -> rule5))]
("dog" "is" "round" "-")
((triple1) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
True
3
proof
[(((((triple1) -> rule5)) -> rule1))]
("dog" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is not green.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule1))]
("dog" "is" "green" "-")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is kind.
True
4
proof
[(((((((triple1) -> rule5)) -> rule1)) -> rule4) OR ((((((triple1) -> rule5)) -> rule1) triple1) -> rule3))]
("dog" "is" "kind" "+")
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is not kind.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule1)) -> rule4) OR ((((((triple1) -> rule5)) -> rule1) triple1) -> rule3))]
("dog" "is" "kind" "-")
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The dog is red.[(triple1)] @1: The dog is round.[(((triple1) -> rule5))] @2: The dog is green.[(((((triple1) -> rule5)) -> rule1))] @3: The dog is kind.[(((((((triple1) -> rule5)) -> rule1)) -> rule4) OR ((((((triple1) -> rule5)) -> rule1) triple1) -> rule3))]
The dog is red.
("dog" "is" "red" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
((triple1) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3