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