Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is young. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is young. Round, cold people are green.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
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 quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Round, cold people are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Erin is not quiet.
False
1
inv-proof
[(triple12)]
("Erin" "is" "quiet" "-")
triple12
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple6 triple1) -> rule1))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10 OR ((triple13 triple8) -> rule1))] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Erin is round.[(triple13)] Erin is young.[(triple14)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple6 triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
((triple13 triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14