Charlie is nice. Charlie is red. Fiona is furry. Fiona is quiet. Gary is young. Harry is furry. Harry is young. If Harry is red then Harry is furry.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is red then Harry is furry.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "furry" "+"))
Fiona is furry.
True
1
proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Gary is not young.
False
1
inv-proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Fiona is furry.[(triple3)] Fiona is quiet.[(triple4)] Gary is young.[(triple5)] Harry is furry.[(triple6)] Harry is young.[(triple7)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7