Erin is blue. Erin is not green. Erin is quiet. Erin is round. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Gary is blue. Gary is green. Gary is nice. Gary is not quiet. Gary is round. Gary is young. If Fiona is nice and Fiona is green then Fiona is young. All green, round things are red.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is nice and Fiona is green then Fiona is young.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "young" "+"))
All green, round things are red.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Fiona is red.
True
1
proof
[(triple8)]
("Fiona" "is" "red" "+")
triple8
Fiona is not red.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "red" "-")
triple8
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "red" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is blue.[(triple1)] Erin is not green.[(triple2)] Erin is quiet.[(triple3)] Erin is round.[(triple4)] Fiona is nice.[(triple6)] Fiona is not green.[(triple5)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is young.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is not quiet.[(triple13)] Gary is round.[(triple14)] Gary is young.[(triple15)] @1: Gary is red.[(((triple11 triple14) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is not green.
("Erin" "is" "green" "-")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is not green.
("Fiona" "is" "green" "-")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
((triple11 triple14) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1