Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Erin is furry. Erin is nice. Erin is rough. Erin is smart. Erin is young. Fiona is quiet. Fiona is rough. Fiona is young. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. If Gary is furry then Gary is round.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Gary is furry then Gary is round.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "round" "+"))
Gary is quiet.
True
1
proof
[(triple15)]
("Gary" "is" "quiet" "+")
triple15
Gary is not quiet.
False
1
inv-proof
[(triple15)]
("Gary" "is" "quiet" "-")
triple15
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16)] @1: Gary is round.[(((triple13) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Gary is round.
("Gary" "is" "round" "+")
((triple13) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1