Anne is cold. Anne is furry. Anne is kind. Anne is not quiet. Anne is rough. Charlie is kind. Charlie is rough. Erin is not cold. Erin is not green. Erin is quiet. Harry is cold. Harry is green. Harry is kind. Harry is not nice. Harry is quiet. Harry is rough. All rough things are kind. If something is furry and rough then it is kind. If something is rough and not furry then it is nice. If Anne is rough and Anne is not quiet then Anne is kind. Nice, furry things are rough. All kind things are rough. If Charlie is kind then Charlie is rough. If something is furry and not kind then it is not green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is not green.
("Erin" "is" "green" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is furry and rough then it is kind.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is rough and not furry then it is nice.
((("something" "is" "rough" "+") ("something" "is" "furry" "~")) -> ("something" "is" "nice" "+"))
If Anne is rough and Anne is not quiet then Anne is kind.
((("Anne" "is" "rough" "+") ("Anne" "is" "quiet" "~")) -> ("Anne" "is" "kind" "+"))
Nice, furry things are rough.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If Charlie is kind then Charlie is rough.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "rough" "+"))
If something is furry and not kind then it is not green.
((("something" "is" "furry" "+") ("something" "is" "kind" "~")) -> ("something" "is" "green" "-"))
Harry is green.
True
1
proof
[(triple12)]
("Harry" "is" "green" "+")
triple12
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Erin is not kind.
Unknown
inv-rconc
[@3: Erin is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple5) -> rule1) OR ((triple2 triple5) -> rule2) OR ((triple5 triple4) -> rule4))] Anne is not quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple3) -> rule6))] Charlie is kind.[(triple6 OR ((triple7) -> rule1))] Charlie is rough.[(triple7 OR ((triple6) -> rule6) OR ((triple6) -> rule7))] Erin is not cold.[(triple8)] Erin is not green.[(triple9)] Erin is quiet.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13 OR ((triple16) -> rule1))] Harry is not nice.[(triple14)] Harry is quiet.[(triple15)] Harry is rough.[(triple16 OR ((triple13) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple5) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple2 triple5) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple5 triple4) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple3) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((triple7) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
((triple6) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is not cold.
("Erin" "is" "cold" "-")
triple8
Erin is not green.
("Erin" "is" "green" "-")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
((triple16) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
((triple13) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1