Anne is big. Anne is furry. Anne is nice. Anne is rough. Bob is not furry. Bob is not rough. Fiona is green. Gary is big. Gary is not furry. Gary is nice. Gary is not quiet. Gary is not rough. Green, rough people are white. If someone is furry then they are green.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not rough.
("Bob" "is" "rough" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is not rough.
("Gary" "is" "rough" "-")
Green, rough people are white.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Bob is not furry.
True
1
proof
[(triple5)]
("Bob" "is" "furry" "-")
triple5
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Anne is green.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "green" "+")
((triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "green" "-")
((triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
True
4
proof
[(((((triple2) -> rule2) triple4) -> rule1))]
("Anne" "is" "white" "+")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is not white.
False
4
inv-proof
[(((((triple2) -> rule2) triple4) -> rule1))]
("Anne" "is" "white" "-")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Bob is not furry.[(triple5)] Bob is not rough.[(triple6)] Fiona is green.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple10)] Gary is not furry.[(triple9)] Gary is not quiet.[(triple11)] Gary is not rough.[(triple12)] @1: Anne is green.[(((triple2) -> rule2))] @2: Anne is white.[(((((triple2) -> rule2) triple4) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Bob is not furry.
("Bob" "is" "furry" "-")
triple5
Bob is not rough.
("Bob" "is" "rough" "-")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
triple9
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple11
Gary is not rough.
("Gary" "is" "rough" "-")
triple12
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2