Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is not smart. Fiona is not big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is not young. Young things are furry. All big things are nice. Big things are not young.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
All big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Big things are not young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "-"))
Fiona is not big.
True
1
proof
[(triple6)]
("Fiona" "is" "big" "-")
triple6
Bob is not furry.
False
1
inv-proof
[(triple3)]
("Bob" "is" "furry" "-")
triple3
Bob is not young.
True
2
proof
[(((triple1) -> rule3))]
("Bob" "is" "young" "-")
((triple1) -> (rule3 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Bob is young.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "young" "+")
((triple1) -> (rule3 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4 OR ((triple1) -> rule2))] Bob is not smart.[(triple5)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is not big.[(triple6)] Fiona is not young.[(triple12)] Fiona is smart.[(triple11)] @1: Bob is not young.[(((triple1) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple1) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not big.
("Fiona" "is" "big" "-")
triple6
Fiona is not young.
("Fiona" "is" "young" "-")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Bob is not young.
("Bob" "is" "young" "-")
((triple1) -> (rule3 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1