Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is young. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is white. Gary is young. All cold people are white. All young people are cold.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Dave is young.
True
1
proof
[(triple5)]
("Dave" "is" "young" "+")
triple5
Fiona is not furry.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "furry" "-")
triple7
Fiona is cold.
True
2
proof
[(((triple9) -> rule2))]
("Fiona" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple9) -> rule2))]
("Fiona" "is" "cold" "-")
((triple9) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Dave is white.
True
3
proof
[(((((triple5) -> rule2)) -> rule1))]
("Dave" "is" "white" "+")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule1))]
("Fiona" "is" "white" "-")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is young.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is young.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((triple16) -> rule2))] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is kind.[(triple14)] Gary is white.[(triple15 OR ((triple11) -> rule1) OR ((((triple16) -> rule2)) -> rule1))] Gary is young.[(triple16)] @1: Dave is cold.[(((triple5) -> rule2))] Fiona is cold.[(((triple9) -> rule2))] @2: Dave is white.[(((((triple5) -> rule2)) -> rule1))] Fiona is white.[(((((triple9) -> rule2)) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple16) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
((triple11) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple16
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2