Anne is kind. Charlie is blue. Charlie is smart. Dave is blue. Dave is cold. Dave is kind. Gary is smart. Smart people are cold. If someone is round then they are nice. All smart, nice people are round.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All smart, nice people are round.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Dave is not blue.
False
1
inv-proof
[(triple4)]
("Dave" "is" "blue" "-")
triple4
Anne is not nice.
Unknown
inv-rconc
[@2: Anne is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Charlie is blue.[(triple2)] Charlie is smart.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is cold.[(((triple3) -> rule1))] Gary is cold.[(((triple7) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1