Bob is not blue. Bob is furry. Bob is kind. Bob is nice. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is blue. Gary is kind. Gary is nice. Gary is smart. Gary is white. If Bob is not kind then Bob is nice. If Bob is nice and Bob is kind then Bob is quiet. If Gary is not white then Gary is kind. All white people are furry. All kind people are smart. If Fiona is blue and Fiona is furry then Fiona is kind. If Fiona is kind and Fiona is nice then Fiona is white. If Gary is not blue and Gary is not furry then Gary is smart.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Bob is not kind then Bob is nice.
((("Bob" "is" "kind" "~")) -> ("Bob" "is" "nice" "+"))
If Bob is nice and Bob is kind then Bob is quiet.
((("Bob" "is" "nice" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "quiet" "+"))
If Gary is not white then Gary is kind.
((("Gary" "is" "white" "~")) -> ("Gary" "is" "kind" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is blue and Fiona is furry then Fiona is kind.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "kind" "+"))
If Fiona is kind and Fiona is nice then Fiona is white.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "white" "+"))
If Gary is not blue and Gary is not furry then Gary is smart.
((("Gary" "is" "blue" "~") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "smart" "+"))
Fiona is smart.
True
1
proof
[(triple10 OR ((triple7) -> rule5) OR ((((triple5 triple6) -> rule6)) -> rule5))]
("Fiona" "is" "smart" "+")
triple10
((triple7) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple5 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not blue.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "blue" "-")
triple5
Fiona is white.
True
3
proof
[(((triple7 triple8) -> rule7) OR ((((triple5 triple6) -> rule6) triple8) -> rule7))]
("Fiona" "is" "white" "+")
((triple7 triple8) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple5 triple6) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is not furry.
False
2
inv-proof
[(((triple15) -> rule4))]
("Gary" "is" "furry" "-")
((triple15) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not blue.[(triple1)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6 OR ((((triple7 triple8) -> rule7)) -> rule4))] Fiona is kind.[(triple7 OR ((triple5 triple6) -> rule6))] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10 OR ((triple7) -> rule5) OR ((((triple5 triple6) -> rule6)) -> rule5))] Gary is blue.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is smart.[(triple14 OR ((triple12) -> rule5))] Gary is white.[(triple15)] @1: Bob is quiet.[(((triple4 triple3) -> rule2))] Bob is smart.[(((triple3) -> rule5))] Fiona is white.[(((triple7 triple8) -> rule7) OR ((((triple5 triple6) -> rule6) triple8) -> rule7))] Gary is furry.[(((triple15) -> rule4))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((((triple7 triple8) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((triple5 triple6) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple7) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple5 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
((triple12) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple4 triple3) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple3) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple7 triple8) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple5 triple6) -> (rule6 % int2)) triple8) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((triple15) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1