Fiona is white. Gary is rough. If Gary is red and Gary is rough then Gary is big. Big people are furry. All rough people are white. If someone is big then they are round. If someone is furry then they are green. Round people are big.
Fiona is white.
("Fiona" "is" "white" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Gary is red and Gary is rough then Gary is big.
((("Gary" "is" "red" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "big" "+"))
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Fiona is white.
True
1
proof
[(triple1)]
("Fiona" "is" "white" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "white" "-")
triple1
Gary is white.
True
2
proof
[(((triple2) -> rule3))]
("Gary" "is" "white" "+")
((triple2) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple2) -> rule3))]
("Gary" "is" "white" "-")
((triple2) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@2: Fiona is round.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Fiona" "is" "round" "-")
Gary is green.
Unknown
rconc
[@5: Gary is green.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule6 <- rule4 <- rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is white.[(triple1)] Gary is rough.[(triple2)] @1: Gary is white.[(((triple2) -> rule3))]
Fiona is white.
("Fiona" "is" "white" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
((triple2) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1