Anne is furry. Anne is rough. Charlie is not furry. Charlie is kind. Charlie is smart. Gary is smart. Harry is furry. Harry is nice. Harry is rough. Harry is not smart. If Charlie is kind and Charlie is furry then Charlie is cold. Furry, kind people are cold. All nice people are not cold. If someone is rough then they are quiet. Cold people are not rough. If Charlie is not nice then Charlie is not kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
If Charlie is kind and Charlie is furry then Charlie is cold.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "cold" "+"))
Furry, kind people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All nice people are not cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "-"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Cold people are not rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "-"))
If Charlie is not nice then Charlie is not kind.
((("Charlie" "is" "nice" "~")) -> ("Charlie" "is" "kind" "-"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Gary is not smart.
False
1
inv-proof
[(triple6)]
("Gary" "is" "smart" "-")
triple6
Harry is not cold.
True
2
proof
[(((triple8) -> rule3))]
("Harry" "is" "cold" "-")
((triple8) -> (rule3 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is not quiet.
False
2
inv-proof
[(((triple9) -> rule4))]
("Harry" "is" "quiet" "-")
((triple9) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Charlie is kind.[(triple4)] Charlie is not furry.[(triple3)] Charlie is smart.[(triple5)] Gary is smart.[(triple6)] Harry is furry.[(triple7)] Harry is nice.[(triple8)] Harry is not smart.[(triple10)] Harry is rough.[(triple9)] @1: Anne is quiet.[(((triple2) -> rule4))] Harry is not cold.[(((triple8) -> rule3))] Harry is quiet.[(((triple9) -> rule4))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is not smart.
("Harry" "is" "smart" "-")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Harry is not cold.
("Harry" "is" "cold" "-")
((triple8) -> (rule3 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple9) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1