Bob is cold. Bob is furry. Bob is green. Bob is white. Bob is young. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is white. White, cold things are round. All cold, green things are nice.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
White, cold things are round.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All cold, green things are nice.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Erin is not nice.
False
1
inv-proof
[(triple9 OR ((triple6 triple8) -> rule2))]
("Erin" "is" "nice" "-")
triple9
((triple6 triple8) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Bob is nice.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Bob" "is" "nice" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple4 triple1) -> rule1))]
("Bob" "is" "round" "-")
((triple4 triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9 OR ((triple6 triple8) -> rule2))] Erin is white.[(triple10)] @1: Bob is nice.[(((triple1 triple3) -> rule2))] Bob is round.[(((triple4 triple1) -> rule1))] Erin is round.[(((triple10 triple6) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
((triple6 triple8) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple10
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple4 triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple10 triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1