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