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