Anne is nice. Fiona is not white. Gary is kind. Gary is round. Gary is white. Harry is blue. Harry is not kind. Kind things are nice. All nice, rough things are kind. Nice things are rough.
Anne is nice.
("Anne" "is" "nice" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All nice, rough things are kind.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Harry is not kind.
True
1
proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Gary is not kind.
False
1
inv-proof
[(triple3)]
("Gary" "is" "kind" "-")
triple3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Fiona is not white.[(triple2)] Gary is kind.[(triple3)] Gary is round.[(triple4)] Gary is white.[(triple5)] Harry is blue.[(triple6)] Harry is not kind.[(triple7)] @1: Anne is rough.[(((triple1) -> rule3))] Gary is nice.[(((triple3) -> rule1))] @2: Anne is kind.[(((triple1 ((triple1) -> rule3)) -> rule2))] Gary is rough.[(((((triple3) -> rule1)) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Fiona is not white.
("Fiona" "is" "white" "-")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Gary is white.
("Gary" "is" "white" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is not kind.
("Harry" "is" "kind" "-")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2