The dog is green. Round things are nice. If the dog is red and the dog is green then the dog is nice. If something is green then it is round.
The dog is green.
("dog" "is" "green" "+")
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If the dog is red and the dog is green then the dog is nice.
((("dog" "is" "red" "+") ("dog" "is" "green" "+")) -> ("dog" "is" "nice" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
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 round.
True
2
proof
[(((triple1) -> rule3))]
("dog" "is" "round" "+")
((triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
2
inv-proof
[(((triple1) -> rule3))]
("dog" "is" "round" "-")
((triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is nice.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("dog" "is" "nice" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is not nice.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("dog" "is" "nice" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
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 young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is green.[(triple1)] @1: The dog is round.[(((triple1) -> rule3))] @2: The dog is nice.[(((((triple1) -> rule3)) -> rule1))]
The dog is green.
("dog" "is" "green" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
((triple1) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2