Erin is round. Fiona is round. Gary is red. Nice people are red. All white people are nice. Blue people are round. If Fiona is round then Fiona is red. All quiet people are blue. Round, green people are red.
Erin is round.
("Erin" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Fiona is round then Fiona is red.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "red" "+"))
All quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Round, green people are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Gary is red.
True
1
proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple1)]
("Erin" "is" "round" "-")
triple1
Fiona is red.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "red" "+")
((triple2) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "red" "-")
((triple2) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is round.[(triple1)] Fiona is round.[(triple2)] Gary is red.[(triple3)] @1: Fiona is red.[(((triple2) -> rule4))]
Erin is round.
("Erin" "is" "round" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
((triple2) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1