Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. If Erin is red and Erin is rough then Erin is quiet. If something is rough then it is red. Quiet, nice things are kind. All round things are quiet. All quiet, red things are round. If something is round then it is red.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Erin is red and Erin is rough then Erin is quiet.
((("Erin" "is" "red" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "quiet" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Quiet, nice things are kind.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
All quiet, red things are round.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is round then it is red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Erin is quiet.
True
1
proof
[(triple3 OR ((triple5) -> rule4))]
("Erin" "is" "quiet" "+")
triple3
((triple5) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is not nice.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "nice" "-")
triple7
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Erin is kind.[(triple1 OR ((triple3 triple2) -> rule3) OR ((((triple5) -> rule4) triple2) -> rule3))] Erin is nice.[(triple2)] Erin is quiet.[(triple3 OR ((triple5) -> rule4))] Erin is red.[(triple4 OR ((triple5) -> rule6))] Erin is round.[(triple5 OR ((triple3 triple4) -> rule5))] Erin is smart.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8 OR ((triple9) -> rule6))] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is quiet.[(((triple9) -> rule4))] @2: Fiona is kind.[(((((triple9) -> rule4) triple7) -> rule3))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
((triple3 triple2) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple5) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
((triple5) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple4
((triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple3 triple4) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple9) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple9) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple9) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2