Dave is not rough. Dave is round. Dave is white. Erin is green. Erin is not white. Fiona is green. Fiona is nice. Fiona is red. Fiona is not rough. Fiona is round. Fiona is not smart. Fiona is white. Gary is green. Gary is nice. Gary is round. Gary is white. All smart people are green. If someone is smart and rough then they are not green. All red people are green. If someone is smart and not red then they are white. If someone is nice then they are white. If someone is smart then they are round. If Fiona is smart and Fiona is not red then Fiona is not rough. If Dave is round and Dave is not red then Dave is not white.
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is smart and rough then they are not green.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "-"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is smart and not red then they are white.
((("someone" "is" "smart" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "white" "+"))
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If Fiona is smart and Fiona is not red then Fiona is not rough.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "red" "~")) -> ("Fiona" "is" "rough" "-"))
If Dave is round and Dave is not red then Dave is not white.
((("Dave" "is" "round" "+") ("Dave" "is" "red" "~")) -> ("Dave" "is" "white" "-"))
Fiona is red.
True
1
proof
[(triple8)]
("Fiona" "is" "red" "+")
triple8
Gary is not green.
False
1
inv-proof
[(triple13)]
("Gary" "is" "green" "-")
triple13
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Dave is not rough.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3)] Erin is green.[(triple4)] Erin is not white.[(triple5)] Fiona is green.[(triple6 OR ((triple8) -> rule3))] Fiona is nice.[(triple7)] Fiona is not rough.[(triple9)] Fiona is not smart.[(triple11)] Fiona is red.[(triple8)] Fiona is round.[(triple10)] Fiona is white.[(triple12 OR ((triple7) -> rule5))] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is round.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule5))]
Dave is not rough.
("Dave" "is" "rough" "-")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is not white.
("Erin" "is" "white" "-")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple8) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple9
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple7) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
((triple14) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1