Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. All kind people are smart. Red people are young. If Bob is red then Bob is young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If Bob is red then Bob is young.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "young" "+"))
Bob is nice.
True
1
proof
[(triple4)]
("Bob" "is" "nice" "+")
triple4
Fiona is not green.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "green" "-")
triple7
Fiona is smart.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fiona" "is" "young" "-")
((triple10) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is young.[(triple6 OR ((triple5) -> rule2) OR ((triple5) -> rule3))] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] @1: Bob is smart.[(((triple3) -> rule1))] Fiona is smart.[(((triple8) -> rule1))] Fiona is young.[(((triple10) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple5) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple10) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1