Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is young. If someone is green and rough then they are smart. Cold, big people are rough. Rough, cold people are green.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is green and rough then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Cold, big people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Rough, cold people are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fiona is big.
True
1
proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple5 OR ((triple2 triple1) -> rule2))]
("Fiona" "is" "rough" "-")
triple5
((triple2 triple1) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3 OR ((triple5 triple2) -> rule3) OR ((((triple2 triple1) -> rule2) triple2) -> rule3))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5 OR ((triple2 triple1) -> rule2))] Fiona is smart.[(triple6 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple2 triple1) -> rule2)) -> rule1) OR ((((triple5 triple2) -> rule3) triple5) -> rule1) OR ((((triple5 triple2) -> rule3) ((triple2 triple1) -> rule2)) -> rule1) OR ((((((triple2 triple1) -> rule2) triple2) -> rule3) triple5) -> rule1) OR ((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2)) -> rule1))] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
((triple5 triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple2 triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple2 triple1) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple3 triple5) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple3 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple5 triple2) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple5 triple2) -> (rule3 % int3)) ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple2 triple1) -> (rule2 % int3)) triple2) -> (rule3 % int2)) ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple7