Charlie is not white. Charlie is young. Gary is cold. Gary is nice. Gary is young. Harry is not kind. Harry is nice. Harry is smart. Harry is white. Harry is young. If Gary is cold and Gary is not white then Gary is young. All smart things are not cold. Smart things are not furry.
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Gary is cold and Gary is not white then Gary is young.
((("Gary" "is" "cold" "+") ("Gary" "is" "white" "~")) -> ("Gary" "is" "young" "+"))
All smart things are not cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "-"))
Smart things are not furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "-"))
Harry is not kind.
True
1
proof
[(triple6)]
("Harry" "is" "kind" "-")
triple6
Harry is kind.
False
1
inv-proof
[(triple6)]
("Harry" "is" "kind" "+")
triple6
Harry is not cold.
True
2
proof
[(((triple8) -> rule2))]
("Harry" "is" "cold" "-")
((triple8) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is furry.
False
2
inv-proof
[(((triple8) -> rule3))]
("Harry" "is" "furry" "+")
((triple8) -> (rule3 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Charlie is not white.[(triple1)] Charlie is young.[(triple2)] Gary is cold.[(triple3)] Gary is nice.[(triple4)] Gary is young.[(triple5)] Harry is nice.[(triple7)] Harry is not kind.[(triple6)] Harry is smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is not cold.[(((triple8) -> rule2))] Harry is not furry.[(((triple8) -> rule3))]
Charlie is not white.
("Charlie" "is" "white" "-")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is not cold.
("Harry" "is" "cold" "-")
((triple8) -> (rule2 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
((triple8) -> (rule3 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1