The dog is big. The dog is cold. The dog is not green. The dog is kind. The dog is nice. Cold people are nice.
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
The dog is nice.
True
1
proof
[(triple5 OR ((triple2) -> rule1))]
("dog" "is" "nice" "+")
triple5
((triple2) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule1))]
("dog" "is" "nice" "-")
triple5
((triple2) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
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 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 kind.[(triple4)] The dog is nice.[(triple5 OR ((triple2) -> rule1))] The dog is not green.[(triple3)]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
((triple2) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not green.
("dog" "is" "green" "-")
triple3