Charlie is kind. Charlie is rough. Gary is not furry. Harry is not blue. Harry is not furry. Harry is not red. Harry is not young. If someone is furry and young then they are blue.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is not young.
("Harry" "is" "young" "-")
If someone is furry and young then they are blue.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is not young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Harry is young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Charlie is kind.[(triple1)] Charlie is rough.[(triple2)] Gary is not furry.[(triple3)] Harry is not blue.[(triple4)] Harry is not furry.[(triple5)] Harry is not red.[(triple6)] Harry is not young.[(triple7)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Gary is not furry.
("Gary" "is" "furry" "-")
triple3
Harry is not blue.
("Harry" "is" "blue" "-")
triple4
Harry is not furry.
("Harry" "is" "furry" "-")
triple5
Harry is not red.
("Harry" "is" "red" "-")
triple6
Harry is not young.
("Harry" "is" "young" "-")
triple7