Dave is big. Dave is cold. Dave is green. Dave is not kind. Dave is red. Dave is not round. Dave is white. Fiona is big. Fiona is cold. Fiona is green. Fiona is red. Fiona is round. If someone is cold then they are white.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is cold then they are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Fiona is big.
True
1
proof
[(triple8)]
("Fiona" "is" "big" "+")
triple8
Fiona is not green.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "green" "-")
triple10
Fiona is white.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "white" "+")
((triple9) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "white" "-")
((triple9) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is not kind.[(triple4)] Dave is not round.[(triple6)] Dave is red.[(triple5)] Dave is white.[(triple7 OR ((triple2) -> rule1))] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] @1: Fiona is white.[(((triple9) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is not kind.
("Dave" "is" "kind" "-")
triple4
Dave is not round.
("Dave" "is" "round" "-")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple7
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1