Dave is cold. Dave is rough. Erin is young. Fiona is cold. Fiona is nice. Fiona is white. Gary is round. Blue people are nice. White, cold people are young. If Dave is nice then Dave is rough. Round people are rough. All white, round people are cold. Nice, white people are blue.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is round.
("Gary" "is" "round" "+")
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
White, cold people are young.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If Dave is nice then Dave is rough.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "rough" "+"))
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All white, round people are cold.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Nice, white people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Erin is young.
True
1
proof
[(triple3)]
("Erin" "is" "young" "+")
triple3
Dave is not cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2)] Erin is young.[(triple3)] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Fiona is white.[(triple6)] Gary is round.[(triple7)] @1: Fiona is blue.[(((triple5 triple6) -> rule6))] Fiona is young.[(((triple6 triple4) -> rule2))] Gary is rough.[(((triple7) -> rule4))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5 triple6) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple6 triple4) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1