Bob is not blue. Bob is kind. Bob is rough. Bob is smart. Bob is white. Fiona is big. Fiona is blue. Fiona is not kind. Fiona is rough. Fiona is round. Fiona is not smart. Fiona is not white. If Bob is kind and Bob is big then Bob is white. If someone is smart and round then they are not big. Smart, round people are big. If someone is smart and kind then they are not blue. If someone is smart and not white then they are rough. If someone is white and not blue then they are rough.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
If Bob is kind and Bob is big then Bob is white.
((("Bob" "is" "kind" "+") ("Bob" "is" "big" "+")) -> ("Bob" "is" "white" "+"))
If someone is smart and round then they are not big.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "-"))
Smart, round people are big.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is smart and kind then they are not blue.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
If someone is smart and not white then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "rough" "+"))
If someone is white and not blue then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "rough" "+"))
Bob is rough.
True
1
proof
[(triple3 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple4 triple2) -> rule4)) -> rule6))]
("Bob" "is" "rough" "+")
triple3
((triple5 triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple5 ((triple4 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
int2
Bob is not smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is kind.[(triple2)] Bob is not blue.[(triple1 OR ((triple4 triple2) -> rule4))] Bob is rough.[(triple3 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple4 triple2) -> rule4)) -> rule6))] Bob is smart.[(triple4)] Bob is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is not kind.[(triple8)] Fiona is not smart.[(triple11)] Fiona is not white.[(triple12)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
((triple4 triple2) -> (rule4 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((triple5 triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple5 ((triple4 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple8
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple11
Fiona is not white.
("Fiona" "is" "white" "-")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10