Fiona is big. Fiona is red. Fiona is smart. All rough things are big. Big, rough things are green. All red things are rough. All big, rough things are young. Round things are big. If something is red and rough then it is smart.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Big, rough things are green.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All big, rough things are young.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is red and rough then it is smart.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Fiona is red.
True
1
proof
[(triple2)]
("Fiona" "is" "red" "+")
triple2
Fiona is not red.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Fiona is rough.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
True
4
proof
[(((triple1 ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))]
("Fiona" "is" "green" "+")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not green.
False
4
inv-proof
[(((triple1 ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))]
("Fiona" "is" "green" "-")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
@0: Fiona is big.[(triple1 OR ((((triple2) -> rule3)) -> rule1))] Fiona is red.[(triple2)] Fiona is smart.[(triple3 OR ((triple2 ((triple2) -> rule3)) -> rule6))] @1: Fiona is rough.[(((triple2) -> rule3))] @2: Fiona is green.[(((triple1 ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))] Fiona is young.[(((triple1 ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule4))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
((triple2 ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((triple1 ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3