The dog is cold. The dog is green. The dog is kind. The dog is round. The dog is young. Young things are kind.
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
The dog is green.
True
1
proof
[(triple2)]
("dog" "is" "green" "+")
triple2
The dog is not cold.
False
1
inv-proof
[(triple1)]
("dog" "is" "cold" "-")
triple1
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 cold.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple5) -> rule1))] The dog is round.[(triple4)] The dog is young.[(triple5)]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
((triple5) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5