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