Anne is blue. Anne is kind. Anne is rough. Anne is not round. Bob is not blue. Bob is kind. Bob is rough. Charlie is blue. Charlie is kind. Charlie is red. Harry is not blue. Harry is not round. All round people are smart. All rough people are green. If someone is kind and not blue then they are not round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not round.
("Harry" "is" "round" "-")
All round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and not blue then they are not round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "round" "-"))
Charlie is kind.
True
1
proof
[(triple9)]
("Charlie" "is" "kind" "+")
triple9
Anne is not rough.
False
1
inv-proof
[(triple3)]
("Anne" "is" "rough" "-")
triple3
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is not round.[(triple4)] Anne is rough.[(triple3)] Bob is kind.[(triple6)] Bob is not blue.[(triple5)] Bob is rough.[(triple7)] Charlie is blue.[(triple8)] Charlie is kind.[(triple9)] Charlie is red.[(triple10)] Harry is not blue.[(triple11)] Harry is not round.[(triple12)] @1: Anne is green.[(((triple3) -> rule2))] Bob is green.[(((triple7) -> rule2))] Bob is not round.[(((triple6 triple5) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is not blue.
("Bob" "is" "blue" "-")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple10
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is not round.
("Harry" "is" "round" "-")
triple12
Anne is green.
("Anne" "is" "green" "+")
((triple3) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple7) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not round.
("Bob" "is" "round" "-")
((triple6 triple5) -> (rule3 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1