Bob is blue. Bob is cold. Bob is not furry. Bob is rough. Bob is not young. Fiona is not blue. Fiona is cold. Fiona is furry. Fiona is not green. Fiona is quiet. Fiona is rough. Fiona is young. If someone is blue then they are quiet. If someone is blue then they are quiet. All green people are quiet. All blue people are quiet. If someone is quiet and not rough then they are not furry. If someone is green then they are furry. If Fiona is cold and Fiona is not rough then Fiona is not green. Young people are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not young.
("Bob" "is" "young" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is blue then they are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is blue then they are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
All blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet and not rough then they are not furry.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "furry" "-"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is cold and Fiona is not rough then Fiona is not green.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "green" "-"))
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Fiona is not quiet.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "quiet" "-")
triple10
Bob is quiet.
True
2
proof
[(((triple1) -> rule1) OR ((triple1) -> rule2) OR ((triple1) -> rule4))]
("Bob" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple1) -> rule2) OR ((triple1) -> rule4))]
("Bob" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not furry.[(triple3)] Bob is not young.[(triple5)] Bob is rough.[(triple4)] Fiona is cold.[(triple7 OR ((triple12) -> rule8))] Fiona is furry.[(triple8)] Fiona is not blue.[(triple6)] Fiona is not green.[(triple9)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Bob is quiet.[(((triple1) -> rule1) OR ((triple1) -> rule2) OR ((triple1) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Bob is not young.
("Bob" "is" "young" "-")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple12) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Fiona is not green.
("Fiona" "is" "green" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1