Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is rough. Bob is not smart. Bob is not white. Fiona is not big. Fiona is not kind. Fiona is nice. Fiona is not rough. Fiona is white. Nice, smart things are not kind. White things are blue.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is not white.
("Bob" "is" "white" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Nice, smart things are not kind.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "-"))
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Fiona is big.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
True
2
proof
[(((triple12) -> rule2))]
("Fiona" "is" "blue" "+")
((triple12) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple12) -> rule2))]
("Fiona" "is" "blue" "-")
((triple12) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not smart.[(triple6)] Bob is not white.[(triple7)] Bob is rough.[(triple5)] Fiona is nice.[(triple10)] Fiona is not big.[(triple8)] Fiona is not kind.[(triple9)] Fiona is not rough.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is blue.[(((triple12) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is not white.
("Bob" "is" "white" "-")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not big.
("Fiona" "is" "big" "-")
triple8
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple9
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple12) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1