Erin is young. Fiona is quiet. All white people are young. All red people are quiet. Quiet, young people are white. Young, nice people are red. If someone is red and cold then they are round. All white, round people are quiet. If someone is young then they are red. If someone is round then they are quiet.
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Quiet, young people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Young, nice people are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is red and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All white, round people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Erin is young.
True
1
proof
[(triple1)]
("Erin" "is" "young" "+")
triple1
Erin is not young.
False
1
inv-proof
[(triple1)]
("Erin" "is" "young" "-")
triple1
Fiona is not red.
Unknown
inv-rconc
[@3: Fiona is red.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Erin is young.[(triple1)] Fiona is quiet.[(triple2)] @1: Erin is red.[(((triple1) -> rule7))] @2: Erin is quiet.[(((((triple1) -> rule7)) -> rule2))] @3: Erin is white.[(((((((triple1) -> rule7)) -> rule2) triple1) -> rule3))]
Erin is young.
("Erin" "is" "young" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
((triple1) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((((((triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3