Anne is blue. Anne is cold. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is not round. Charlie is white. Gary is not blue. Gary is quiet. Gary is not round. Harry is not blue. If something is cold then it is round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not round.
("Gary" "is" "round" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Charlie is white.
True
1
proof
[(triple8)]
("Charlie" "is" "white" "+")
triple8
Charlie is not kind.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "kind" "-")
triple4
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Charlie is blue.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not round.[(triple7)] Charlie is quiet.[(triple6)] Charlie is white.[(triple8)] Gary is not blue.[(triple9)] Gary is not round.[(triple11)] Gary is quiet.[(triple10)] Harry is not blue.[(triple12)] @1: Anne is round.[(((triple2) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is not round.
("Charlie" "is" "round" "-")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Gary is not blue.
("Gary" "is" "blue" "-")
triple9
Gary is not round.
("Gary" "is" "round" "-")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Harry is not blue.
("Harry" "is" "blue" "-")
triple12
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1