Charlie is blue. Charlie is furry. Charlie is nice. Charlie is not young. Harry is not big. Harry is furry. Harry is kind. All kind people are not cold. If someone is kind and not furry then they are blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Harry is not big.
("Harry" "is" "big" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All kind people are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
If someone is kind and not furry then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "blue" "+"))
Harry is kind.
True
1
proof
[(triple7)]
("Harry" "is" "kind" "+")
triple7
Charlie is not nice.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "nice" "-")
triple3
Harry is not cold.
True
2
proof
[(((triple7) -> rule1))]
("Harry" "is" "cold" "-")
((triple7) -> (rule1 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is cold.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is not young.[(triple4)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] Harry is not big.[(triple5)] @1: Harry is not cold.[(((triple7) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not young.
("Charlie" "is" "young" "-")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not big.
("Harry" "is" "big" "-")
triple5
Harry is not cold.
("Harry" "is" "cold" "-")
((triple7) -> (rule1 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1