Anne is cold. Anne is kind. Anne is quiet. Anne is not rough. Anne is young. Fiona is cold. Fiona is round. Fiona is young. Harry is cold. Harry is furry. Harry is kind. Harry is not quiet. Harry is rough. Harry is round. Harry is young. All quiet people are not furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is young.
("Anne" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet people are not furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "-"))
Fiona is cold.
True
1
proof
[(triple6)]
("Fiona" "is" "cold" "+")
triple6
Harry is not young.
False
1
inv-proof
[(triple15)]
("Harry" "is" "young" "-")
triple15
Anne is not furry.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "furry" "-")
((triple3) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is furry.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is not rough.[(triple4)] Anne is quiet.[(triple3)] Anne is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is round.[(triple7)] Fiona is young.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is not quiet.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Anne is not furry.[(((triple3) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Anne is not furry.
("Anne" "is" "furry" "-")
((triple3) -> (rule1 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1