The dog is green. Green people are nice. If someone is young then they are round. If the dog is not green then the dog is young. If the dog is young and the dog is not green then the dog is not round. Green, nice people are young. If the dog is nice then the dog is cold. All round people are cold. If someone is young and not round then they are not cold.
The dog is green.
("dog" "is" "green" "+")
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If the dog is not green then the dog is young.
((("dog" "is" "green" "~")) -> ("dog" "is" "young" "+"))
If the dog is young and the dog is not green then the dog is not round.
((("dog" "is" "young" "+") ("dog" "is" "green" "~")) -> ("dog" "is" "round" "-"))
Green, nice people are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If the dog is nice then the dog is cold.
((("dog" "is" "nice" "+")) -> ("dog" "is" "cold" "+"))
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and not round then they are not cold.
((("someone" "is" "young" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "-"))
The dog is green.
True
1
proof
[(triple1)]
("dog" "is" "green" "+")
triple1
The dog is not green.
False
1
inv-proof
[(triple1)]
("dog" "is" "green" "-")
triple1
The dog is nice.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is young.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule5))]
("dog" "is" "young" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is not young.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule5))]
("dog" "is" "young" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is round.
True
5
proof
[(((((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2))]
("dog" "is" "round" "+")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The dog is not round.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2))]
("dog" "is" "round" "-")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
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 needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog is green.[(triple1)] @1: The dog is nice.[(((triple1) -> rule1))] @2: The dog is cold.[(((((triple1) -> rule1)) -> rule6) OR ((((((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2)) -> rule7))] The dog is young.[(((triple1 ((triple1) -> rule1)) -> rule5))] @3: The dog is round.[(((((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2))]
The dog is green.
("dog" "is" "green" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
((((((triple1 ((triple1) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
int4
The dog is young.
("dog" "is" "young" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3