Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is rough. Fiona is big. Fiona is blue. Fiona is kind. Fiona is red. Fiona is not rough. If something is nice and not rough then it is not green. Kind things are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
If something is nice and not rough then it is not green.
((("something" "is" "nice" "+") ("something" "is" "rough" "~")) -> ("something" "is" "green" "-"))
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Fiona is not rough.
True
1
proof
[(triple10)]
("Fiona" "is" "rough" "-")
triple10
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule2))] Anne is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is not rough.[(triple10)] Fiona is red.[(triple9)] @1: Fiona is nice.[(((triple8) -> rule2))] @2: Fiona is not green.[(((((triple8) -> rule2) triple10) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple8) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((((triple8) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2