Anne is kind. Anne is not nice. Anne is rough. Anne is smart. Anne is white. Fiona is green. Fiona is kind. Fiona is nice. Fiona is not red. Fiona is not smart. If Fiona is kind and Fiona is red then Fiona is not rough. If Fiona is nice and Fiona is not red then Fiona is kind. Kind people are rough. If someone is red and kind then they are not rough. All kind people are rough. Smart, green people are rough. If someone is white and not red then they are not green. If Anne is not smart then Anne is rough.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
If Fiona is kind and Fiona is red then Fiona is not rough.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "rough" "-"))
If Fiona is nice and Fiona is not red then Fiona is kind.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "red" "~")) -> ("Fiona" "is" "kind" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind then they are not rough.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "-"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Smart, green people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is white and not red then they are not green.
((("someone" "is" "white" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "green" "-"))
If Anne is not smart then Anne is rough.
((("Anne" "is" "smart" "~")) -> ("Anne" "is" "rough" "+"))
Fiona is kind.
True
1
proof
[(triple7 OR ((triple8 triple9) -> rule2))]
("Fiona" "is" "kind" "+")
triple7
((triple8 triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "red" "+")
triple9
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule3) OR ((triple1) -> rule5))] Anne is smart.[(triple4)] Anne is white.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7 OR ((triple8 triple9) -> rule2))] Fiona is nice.[(triple8)] Fiona is not red.[(triple9)] Fiona is not smart.[(triple10)] @1: Fiona is rough.[(((triple7) -> rule3) OR ((triple7) -> rule5) OR ((((triple8 triple9) -> rule2)) -> rule3) OR ((((triple8 triple9) -> rule2)) -> rule5))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple1) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((triple8 triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple9
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple7) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple8 triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple8 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2