Anne is not big. Anne is not blue. Anne is furry. Anne is not quiet. Anne is round. Anne is smart. Bob is blue. Bob is furry. Bob is smart. Bob is not white. Fiona is big. Fiona is blue. Fiona is not furry. Fiona is not quiet. Fiona is white. All big people are blue. If someone is white then they are not furry. All round people are not white. All round, quiet people are not smart. If someone is big and not blue then they are quiet. Big, furry people are quiet. If someone is white and not blue then they are quiet. If someone is white and furry then they are quiet.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is white.
("Fiona" "is" "white" "+")
All big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is white then they are not furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "-"))
All round people are not white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "-"))
All round, quiet people are not smart.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "-"))
If someone is big and not blue then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "quiet" "+"))
Big, furry people are quiet.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white and not blue then they are quiet.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "quiet" "+"))
If someone is white and furry then they are quiet.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Bob is blue.
True
1
proof
[(triple7)]
("Bob" "is" "blue" "+")
triple7
Bob is not furry.
False
1
inv-proof
[(triple8)]
("Bob" "is" "furry" "-")
triple8
Anne is not white.
True
2
proof
[(((triple5) -> rule3))]
("Anne" "is" "white" "-")
((triple5) -> (rule3 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is white.
False
2
inv-proof
[(((triple5) -> rule3))]
("Anne" "is" "white" "+")
((triple5) -> (rule3 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is not quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Bob is blue.[(triple7)] Bob is furry.[(triple8)] Bob is not white.[(triple10)] Bob is smart.[(triple9)] Fiona is big.[(triple11)] Fiona is blue.[(triple12 OR ((triple11) -> rule1))] Fiona is not furry.[(triple13 OR ((triple15) -> rule2))] Fiona is not quiet.[(triple14)] Fiona is white.[(triple15)] @1: Anne is not white.[(((triple5) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not blue.
("Anne" "is" "blue" "-")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Bob is not white.
("Bob" "is" "white" "-")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
((triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple13
((triple15) -> (rule2 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Anne is not white.
("Anne" "is" "white" "-")
((triple5) -> (rule3 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1