Bob is not blue. Bob is nice. Bob is quiet. Fiona is big. Fiona is nice. Gary is red. Gary is round. If Bob is not round and Bob is not blue then Bob is big. If someone is red and round then they are nice. Quiet people are young. All red people are not big. If Bob is round and Bob is not red then Bob is not nice. If Bob is not young then Bob is nice.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If Bob is not round and Bob is not blue then Bob is big.
((("Bob" "is" "round" "~") ("Bob" "is" "blue" "~")) -> ("Bob" "is" "big" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All red people are not big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
If Bob is round and Bob is not red then Bob is not nice.
((("Bob" "is" "round" "+") ("Bob" "is" "red" "~")) -> ("Bob" "is" "nice" "-"))
If Bob is not young then Bob is nice.
((("Bob" "is" "young" "~")) -> ("Bob" "is" "nice" "+"))
Fiona is nice.
True
1
proof
[(triple5)]
("Fiona" "is" "nice" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple6)]
("Gary" "is" "red" "-")
triple6
Gary is nice.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Gary" "is" "nice" "+")
((triple6 triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Gary" "is" "nice" "-")
((triple6 triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is nice.[(triple2)] Bob is not blue.[(triple1)] Bob is quiet.[(triple3)] Fiona is big.[(triple4)] Fiona is nice.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7)] @1: Bob is young.[(((triple3) -> rule3))] Gary is nice.[(((triple6 triple7) -> rule2))] Gary is not big.[(((triple6) -> rule4))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple6 triple7) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not big.
("Gary" "is" "big" "-")
((triple6) -> (rule4 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1