The cow is nice. All nice things are green. If something is young and round then it is nice. If something is young and nice then it is round.
The cow is nice.
("cow" "is" "nice" "+")
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is young and round then it is nice.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is young and nice then it is round.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
The cow is nice.
True
1
proof
[(triple1)]
("cow" "is" "nice" "+")
triple1
The cow is not nice.
False
1
inv-proof
[(triple1)]
("cow" "is" "nice" "-")
triple1
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "round" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cow is nice.[(triple1)] @1: The cow is green.[(((triple1) -> rule1))]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
((triple1) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1