Bob is big. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. Fiona is big. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. If someone is red and nice then they are green. Nice, red people are green.
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is red and nice then they are green.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Nice, red people are green.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Fiona is big.
True
1
proof
[(triple7)]
("Fiona" "is" "big" "+")
triple7
Bob is not smart.
False
1
inv-proof
[(triple5)]
("Bob" "is" "smart" "-")
triple5
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Bob is green.[(((triple2 triple3) -> rule2) OR ((triple3 triple2) -> rule1))] Fiona is green.[(((triple8 triple9) -> rule2) OR ((triple9 triple8) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple3 triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple8 triple9) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple9 triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1