The dog is big. The dog is cold. The dog is green. The dog is kind. The dog is nice. Kind things are green. Green, cold things are nice.
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
Kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Green, cold things are nice.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
The dog is green.
True
1
proof
[(triple3 OR ((triple4) -> rule1))]
("dog" "is" "green" "+")
triple3
((triple4) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
1
inv-proof
[(triple3 OR ((triple4) -> rule1))]
("dog" "is" "green" "-")
triple3
((triple4) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "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 big.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple4) -> rule1))] The dog is kind.[(triple4)] The dog is nice.[(triple5 OR ((triple3 triple2) -> rule2) OR ((((triple4) -> rule1) triple2) -> rule2))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
((triple4) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
((triple3 triple2) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((((triple4) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2