The dog is cold. If the dog is kind and the dog is red then the dog is round. If the dog is green then the dog is cold. If the dog is kind then the dog is green. If the dog is cold then the dog is red. All cold, red things are round. Green things are cold. If something is red and round then it is kind. All red, green things are cold.
The dog is cold.
("dog" "is" "cold" "+")
If the dog is kind and the dog is red then the dog is round.
((("dog" "is" "kind" "+") ("dog" "is" "red" "+")) -> ("dog" "is" "round" "+"))
If the dog is green then the dog is cold.
((("dog" "is" "green" "+")) -> ("dog" "is" "cold" "+"))
If the dog is kind then the dog is green.
((("dog" "is" "kind" "+")) -> ("dog" "is" "green" "+"))
If the dog is cold then the dog is red.
((("dog" "is" "cold" "+")) -> ("dog" "is" "red" "+"))
All cold, red things are round.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something is red and round then it is kind.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
All red, green things are cold.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
The dog is cold.
True
1
proof
[(triple1)]
("dog" "is" "cold" "+")
triple1
The dog is not cold.
False
1
inv-proof
[(triple1)]
("dog" "is" "cold" "-")
triple1
The dog is red.
True
2
proof
[(((triple1) -> rule4))]
("dog" "is" "red" "+")
((triple1) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple1) -> rule4))]
("dog" "is" "red" "-")
((triple1) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is round.
True
4
proof
[(((triple1 ((triple1) -> rule4)) -> rule5))]
("dog" "is" "round" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is not round.
False
4
inv-proof
[(((triple1 ((triple1) -> rule4)) -> rule5))]
("dog" "is" "round" "-")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is kind.
True
7
proof
[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7))]
("dog" "is" "kind" "+")
((((triple1) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog is not kind.
False
7
inv-proof
[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7))]
("dog" "is" "kind" "-")
((((triple1) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is red.
("dog" "is" "red" "+")
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 sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is cold.[(triple1)] @1: The dog is red.[(((triple1) -> rule4))] @2: The dog is round.[(((triple1 ((triple1) -> rule4)) -> rule5))] @3: The dog is kind.[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7))] @4: The dog is green.[(((((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule7)) -> rule3))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
((triple1) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
((((triple1) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog is green.
("dog" "is" "green" "+")
((((((triple1) -> (rule4 % int4)) ((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4