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