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