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