The cow is big. The cow is cold. The cow is not rough. The cow is round. The cow is young. All cold things are round. All round, cold things are big.
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All round, cold things are big.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
The cow is big.
True
1
proof
[(triple1 OR ((triple4 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))]
("cow" "is" "big" "+")
triple1
((triple4 triple2) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is rough.
False
1
inv-proof
[(triple3)]
("cow" "is" "rough" "+")
triple3
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow is big.[(triple1 OR ((triple4 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] The cow is cold.[(triple2)] The cow is not rough.[(triple3)] The cow is round.[(triple4 OR ((triple2) -> rule1))] The cow is young.[(triple5)]
The cow is big.
("cow" "is" "big" "+")
triple1
((triple4 triple2) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is not rough.
("cow" "is" "rough" "-")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
((triple2) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is young.
("cow" "is" "young" "+")
triple5