Bob is big. Bob is blue. Bob is not kind. Bob is nice. Bob is quiet. Bob is round. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is not round. If Bob is quiet and Bob is nice then Bob is not kind. If someone is blue and round then they are not kind. If someone is kind and rough then they are not round. Rough people are not round. If Fiona is round then Fiona is nice. If Bob is big then Bob is not rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
If Bob is quiet and Bob is nice then Bob is not kind.
((("Bob" "is" "quiet" "+") ("Bob" "is" "nice" "+")) -> ("Bob" "is" "kind" "-"))
If someone is blue and round then they are not kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
If someone is kind and rough then they are not round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
Rough people are not round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
If Fiona is round then Fiona is nice.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "nice" "+"))
If Bob is big then Bob is not rough.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "rough" "-"))
Bob is not kind.
True
1
proof
[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple5 triple4) -> rule1))]
("Bob" "is" "kind" "-")
triple3
((triple2 triple6) -> (rule2 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
((triple5 triple4) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is kind.
False
1
inv-proof
[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple5 triple4) -> rule1))]
("Bob" "is" "kind" "+")
triple3
((triple2 triple6) -> (rule2 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
((triple5 triple4) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple4)] Bob is not kind.[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple5 triple4) -> rule1))] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is not round.[(triple10)] Fiona is quiet.[(triple9)] @1: Bob is not rough.[(((triple1) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
((triple2 triple6) -> (rule2 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
((triple5 triple4) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not round.
("Fiona" "is" "round" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Bob is not rough.
("Bob" "is" "rough" "-")
((triple1) -> (rule6 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1