Bob is big. Bob is furry. Bob is rough. Bob is white. Fiona is furry. Fiona is rough. Fiona is round. All rough things are big. If something is round and not young then it is not big. All young things are white.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is round and not young then it is not big.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "is" "big" "-"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Fiona is furry.
True
1
proof
[(triple5)]
("Fiona" "is" "furry" "+")
triple5
Bob is not furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Fiona is big.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "big" "-")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple1 OR ((triple3) -> rule1))] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Fiona is furry.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is big.[(((triple6) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1