Fiona is blue. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is young. Gary is not furry. Gary is quiet. Gary is round. Harry is green. Harry is not quiet. If Gary is not kind then Gary is quiet. If someone is quiet and not furry then they are not green.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
If Gary is not kind then Gary is quiet.
((("Gary" "is" "kind" "~")) -> ("Gary" "is" "quiet" "+"))
If someone is quiet and not furry then they are not green.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "green" "-"))
Fiona is quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "+")
triple5
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Gary is not green.
True
3
proof
[(((triple9 triple8) -> rule2))]
("Gary" "is" "green" "-")
((triple9 triple8) -> (rule2 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is green.
False
3
inv-proof
[(((triple9 triple8) -> rule2))]
("Gary" "is" "green" "+")
((triple9 triple8) -> (rule2 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple4)] Fiona is not green.[(triple3)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Gary is not furry.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Harry is green.[(triple11)] Harry is not quiet.[(triple12)] @1: Gary is not green.[(((triple9 triple8) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is not furry.
("Gary" "is" "furry" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple12
Gary is not green.
("Gary" "is" "green" "-")
((triple9 triple8) -> (rule2 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1