Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Erin is furry. Erin is green. Erin is red. Erin is smart. Erin is young. All young things are round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Erin is young.
True
1
proof
[(triple12)]
("Erin" "is" "young" "+")
triple12
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Erin is round.
True
2
proof
[(((triple12) -> rule1))]
("Erin" "is" "round" "+")
((triple12) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple12) -> rule1))]
("Erin" "is" "round" "-")
((triple12) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple7) -> rule1))] Bob is smart.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)] @1: Erin is round.[(((triple12) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
((triple12) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1