Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is not smart. Dave is not big. Dave is kind. Dave is round. Erin is big. Erin is kind. Erin is smart. Fiona is big. Fiona is kind. Fiona is round. If something is big then it is round. If something is red and not big then it is round. If Dave is not red then Dave is not quiet. If something is big and not rough then it is not kind. All smart things are kind. If something is rough and not smart then it is kind. Red, smart things are kind. If something is red and not round then it is kind.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is red and not big then it is round.
((("something" "is" "red" "+") ("something" "is" "big" "~")) -> ("something" "is" "round" "+"))
If Dave is not red then Dave is not quiet.
((("Dave" "is" "red" "~")) -> ("Dave" "is" "quiet" "-"))
If something is big and not rough then it is not kind.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "kind" "-"))
All smart things are kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If something is rough and not smart then it is kind.
((("something" "is" "rough" "+") ("something" "is" "smart" "~")) -> ("something" "is" "kind" "+"))
Red, smart things are kind.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If something is red and not round then it is kind.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple14)]
("Fiona" "is" "kind" "+")
triple14
Anne is not round.
False
1
inv-proof
[(triple5)]
("Anne" "is" "round" "-")
triple5
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is kind.[(triple1 OR ((triple4 triple6) -> rule6))] Anne is not smart.[(triple6)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Dave is kind.[(triple8)] Dave is not big.[(triple7)] Dave is round.[(triple9)] Erin is big.[(triple10)] Erin is kind.[(triple11 OR ((triple12) -> rule5))] Erin is smart.[(triple12)] Fiona is big.[(triple13)] Fiona is kind.[(triple14)] Fiona is round.[(triple15 OR ((triple13) -> rule1))] @1: Erin is round.[(((triple10) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
((triple4 triple6) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is not big.
("Dave" "is" "big" "-")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
triple11
((triple12) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
((triple13) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple10) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1