The dog is big. The dog is nice. The dog is red. All red things are kind. If something is kind and big then it is round.
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is kind and big then it is round.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
The dog is nice.
True
1
proof
[(triple2)]
("dog" "is" "nice" "+")
triple2
The dog is not red.
False
1
inv-proof
[(triple3)]
("dog" "is" "red" "-")
triple3
The dog is kind.
True
2
proof
[(((triple3) -> rule1))]
("dog" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "is" "kind" "-")
((triple3) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is round.
True
4
proof
[(((((triple3) -> rule1) triple1) -> rule2))]
("dog" "is" "round" "+")
((((triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog is not round.
False
4
inv-proof
[(((((triple3) -> rule1) triple1) -> rule2))]
("dog" "is" "round" "-")
((((triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
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 visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is big.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3)] @1: The dog is kind.[(((triple3) -> rule1))] @2: The dog is round.[(((((triple3) -> rule1) triple1) -> rule2))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2