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