Anne is red. Bob is green. Bob is red. Bob is round. Erin is green. Fiona is green. Fiona is quiet. Fiona is not red. Fiona is round. Fiona is smart. All green, quiet people are round. If someone is smart and not round then they are not young.
Anne is red.
("Anne" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All green, quiet people are round.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If someone is smart and not round then they are not young.
((("someone" "is" "smart" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "-"))
Fiona is not red.
True
1
proof
[(triple8)]
("Fiona" "is" "red" "-")
triple8
Fiona is not green.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "green" "-")
triple6
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is red.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Erin is green.[(triple5)] Fiona is green.[(triple6)] Fiona is not red.[(triple8)] Fiona is quiet.[(triple7)] Fiona is round.[(triple9 OR ((triple6 triple7) -> rule1))] Fiona is smart.[(triple10)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is not red.
("Fiona" "is" "red" "-")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple6 triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10