Bob is round. Bob is smart. Charlie is nice. Charlie is round. Erin is smart. Gary is not furry. Gary is kind. Gary is nice. Gary is rough. Gary is not round. Gary is smart. Gary is not white. If someone is white and not round then they are not kind. All rough people are kind. If someone is smart and round then they are nice. Smart people are nice. Round people are not rough. If Charlie is kind and Charlie is furry then Charlie is nice. White people are not smart. If someone is round and smart then they are not white.
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
If someone is white and not round then they are not kind.
((("someone" "is" "white" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "kind" "-"))
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and round then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Round people are not rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If Charlie is kind and Charlie is furry then Charlie is nice.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "nice" "+"))
White people are not smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If someone is round and smart then they are not white.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "-"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Gary is round.
False
1
inv-proof
[(triple10)]
("Gary" "is" "round" "+")
triple10
Bob is not rough.
True
2
proof
[(((triple1) -> rule5))]
("Bob" "is" "rough" "-")
((triple1) -> (rule5 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is white.
False
3
inv-proof
[(((triple1 triple2) -> rule8))]
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule8 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Erin is smart.[(triple5)] Gary is kind.[(triple7 OR ((triple9) -> rule2))] Gary is nice.[(triple8 OR ((triple11) -> rule4))] Gary is not furry.[(triple6)] Gary is not round.[(triple10)] Gary is not white.[(triple12)] Gary is rough.[(triple9)] Gary is smart.[(triple11)] @1: Bob is nice.[(((triple2) -> rule4) OR ((triple2 triple1) -> rule3))] Bob is not rough.[(((triple1) -> rule5))] Bob is not white.[(((triple1 triple2) -> rule8))] Charlie is not rough.[(((triple4) -> rule5))] Erin is nice.[(((triple5) -> rule4))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple7
((triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple11) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not furry.
("Gary" "is" "furry" "-")
triple6
Gary is not round.
("Gary" "is" "round" "-")
triple10
Gary is not white.
("Gary" "is" "white" "-")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple2 triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not rough.
("Bob" "is" "rough" "-")
((triple1) -> (rule5 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is not white.
("Bob" "is" "white" "-")
((triple1 triple2) -> (rule8 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple4) -> (rule5 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple5) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1