Anne is furry. Anne is kind. Anne is round. Anne is smart. Charlie is cold. Charlie is kind. Charlie is not nice. Charlie is round. Charlie is smart. Erin is kind. Erin is nice. Erin is young. If someone is kind and not smart then they are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is kind and not smart then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "nice" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Charlie is not cold.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "cold" "-")
triple5
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Charlie is not nice.[(triple7)] Charlie is round.[(triple8)] Charlie is smart.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is young.[(triple12)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12