Erin is furry. Erin is nice. Erin is young. Fiona is not quiet. Fiona is rough. Fiona is not white. Fiona is young. If Erin is not round then Erin is furry. If someone is furry and white then they are not nice. All round people are not nice. Round people are not quiet. If Erin is white then Erin is nice. If Erin is nice then Erin is not rough. If someone is furry and not rough then they are young. Nice, rough people are young.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If Erin is not round then Erin is furry.
((("Erin" "is" "round" "~")) -> ("Erin" "is" "furry" "+"))
If someone is furry and white then they are not nice.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "-"))
All round people are not nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "-"))
Round people are not quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "-"))
If Erin is white then Erin is nice.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "nice" "+"))
If Erin is nice then Erin is not rough.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "rough" "-"))
If someone is furry and not rough then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "young" "+"))
Nice, rough people are young.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Erin is nice.
True
1
proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "rough" "-")
triple5
Erin is not rough.
True
2
proof
[(((triple2) -> rule6))]
("Erin" "is" "rough" "-")
((triple2) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is rough.
False
2
inv-proof
[(((triple2) -> rule6))]
("Erin" "is" "rough" "+")
((triple2) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is furry.[(triple1)] Erin is nice.[(triple2)] Erin is young.[(triple3 OR ((triple1 ((triple2) -> rule6)) -> rule7))] Fiona is not quiet.[(triple4)] Fiona is not white.[(triple6)] Fiona is rough.[(triple5)] Fiona is young.[(triple7)] @1: Erin is not rough.[(((triple2) -> rule6))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
((triple1 ((triple2) -> (rule6 % int2))) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not rough.
("Erin" "is" "rough" "-")
int2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple4
Fiona is not white.
("Fiona" "is" "white" "-")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Erin is not rough.
("Erin" "is" "rough" "-")
((triple2) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1