Dave is big. Dave is green. Dave is round. Dave is young. Erin is big. Erin is furry. Erin is green. Erin is round. Erin is smart. Erin is young. Big people are cold. If Dave is cold and Dave is green then Dave is furry.
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If Dave is cold and Dave is green then Dave is furry.
((("Dave" "is" "cold" "+") ("Dave" "is" "green" "+")) -> ("Dave" "is" "furry" "+"))
Erin is young.
True
1
proof
[(triple10)]
("Erin" "is" "young" "+")
triple10
Erin is not round.
False
1
inv-proof
[(triple8)]
("Erin" "is" "round" "-")
triple8
Erin is cold.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
True
4
proof
[(((((triple1) -> rule1) triple2) -> rule2))]
("Dave" "is" "furry" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not furry.
False
4
inv-proof
[(((((triple1) -> rule1) triple2) -> rule2))]
("Dave" "is" "furry" "-")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is round.[(triple3)] Dave is young.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)] @1: Dave is cold.[(((triple1) -> rule1))] Erin is cold.[(((triple5) -> rule1))] @2: Dave is furry.[(((((triple1) -> rule1) triple2) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2