Anne is not blue. Anne is furry. Anne is not nice. Anne is rough. Anne is round. Anne is white. Erin is blue. Erin is furry. Erin is not rough. Erin is white. Erin is young. Fiona is nice. Fiona is not young. Harry is rough. Harry is white. All white, rough people are not blue. White, furry people are round. If someone is white then they are round. If Harry is white then Harry is furry. Round people are white. Nice, white people are not young. All blue people are furry. Young people are furry.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All white, rough people are not blue.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "-"))
White, furry people are round.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If Harry is white then Harry is furry.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "furry" "+"))
Round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Nice, white people are not young.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "-"))
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Fiona is not young.
True
1
proof
[(triple13)]
("Fiona" "is" "young" "-")
triple13
Fiona is not nice.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "nice" "-")
triple12
Fiona is not round.
Unknown
inv-rconc
[@3: Fiona is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1 OR ((triple6 triple4) -> rule1) OR ((((triple5) -> rule5) triple4) -> rule1))] Anne is not nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple6) -> rule3) OR ((triple6 triple2) -> rule2))] Anne is white.[(triple6 OR ((triple5) -> rule5))] Erin is blue.[(triple7)] Erin is furry.[(triple8 OR ((triple11) -> rule8) OR ((triple7) -> rule7))] Erin is not rough.[(triple9)] Erin is white.[(triple10)] Erin is young.[(triple11)] Fiona is nice.[(triple12)] Fiona is not young.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Erin is round.[(((triple10) -> rule3) OR ((triple10 triple8) -> rule2) OR ((triple10 ((triple11) -> rule8)) -> rule2) OR ((triple10 ((triple7) -> rule7)) -> rule2))] Harry is furry.[(((triple15) -> rule4))] Harry is not blue.[(((triple15 triple14) -> rule1))] Harry is round.[(((triple15) -> rule3) OR ((triple15 ((triple15) -> rule4)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
((triple6 triple4) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
((((triple5) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple6) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple6 triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple5) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
((triple11) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple7) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not rough.
("Erin" "is" "rough" "-")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is not young.
("Fiona" "is" "young" "-")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Erin is round.
("Erin" "is" "round" "+")
((triple10) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple10 triple8) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple10 ((triple11) -> (rule8 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple10 ((triple7) -> (rule7 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((triple15) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
((triple15 triple14) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple15) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple15 ((triple15) -> (rule4 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2