Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is smart. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is not smart. Gary is green. Gary is kind. Gary is not red. Gary is rough. Gary is smart. If Fiona is not smart then Fiona is round. If Fiona is nice and Fiona is rough then Fiona is red. If someone is green then they are round. If someone is smart and not kind then they are rough. If someone is red and not green then they are rough. If Erin is red and Erin is nice then Erin is smart.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Fiona is not smart then Fiona is round.
((("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "round" "+"))
If Fiona is nice and Fiona is rough then Fiona is red.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "red" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is smart and not kind then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
If someone is red and not green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "rough" "+"))
If Erin is red and Erin is nice then Erin is smart.
((("Erin" "is" "red" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "smart" "+"))
Fiona is nice.
True
1
proof
[(triple8)]
("Fiona" "is" "nice" "+")
triple8
Fiona is not kind.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "kind" "-")
triple7
Fiona is red.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Fiona" "is" "red" "+")
((triple8 triple9) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple12) -> rule3))]
("Gary" "is" "round" "-")
((triple12) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple3 triple2) -> rule6))] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is not smart.[(triple11)] Fiona is rough.[(triple9)] Fiona is round.[(triple10 OR ((triple11) -> rule1))] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is not red.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Fiona is red.[(((triple8 triple9) -> rule2))] Gary is round.[(((triple12) -> rule3))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple3 triple2) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple11) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not red.
("Gary" "is" "red" "-")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
Fiona is red.
("Fiona" "is" "red" "+")
((triple8 triple9) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple12) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1