Fiona is rough. If someone is quiet and not rough then they are young. Furry, smart people are young. Quiet people are red. If Fiona is furry then Fiona is quiet. Quiet, rough people are furry. Quiet, rough people are smart. If someone is rough then they are quiet. If Fiona is not smart then Fiona is green.
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is quiet and not rough then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "young" "+"))
Furry, smart people are young.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If Fiona is furry then Fiona is quiet.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "quiet" "+"))
Quiet, rough people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Quiet, rough people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is not smart then Fiona is green.
((("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "green" "+"))
Fiona is rough.
True
1
proof
[(triple1)]
("Fiona" "is" "rough" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "rough" "-")
triple1
Fiona is quiet.
True
2
proof
[(((triple1) -> rule7))]
("Fiona" "is" "quiet" "+")
((triple1) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple1) -> rule7))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
True
4
proof
[(((((triple1) -> rule7) triple1) -> rule5))]
("Fiona" "is" "furry" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((((triple1) -> rule7) triple1) -> rule5))]
("Fiona" "is" "furry" "-")
((((triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
True
9
proof
[(((((((triple1) -> rule7) triple1) -> rule5) ((((triple1) -> rule7) triple1) -> rule6)) -> rule2))]
("Fiona" "is" "young" "+")
((((((triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((((triple1) -> (rule7 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is not young.
False
9
inv-proof
[(((((((triple1) -> rule7) triple1) -> rule5) ((((triple1) -> rule7) triple1) -> rule6)) -> rule2))]
("Fiona" "is" "young" "-")
((((((triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((((triple1) -> (rule7 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
@0: Fiona is rough.[(triple1)] @1: Fiona is quiet.[(((triple1) -> rule7))] @2: Fiona is furry.[(((((triple1) -> rule7) triple1) -> rule5))] Fiona is red.[(((((triple1) -> rule7)) -> rule3))] Fiona is smart.[(((((triple1) -> rule7) triple1) -> rule6))] @3: Fiona is young.[(((((((triple1) -> rule7) triple1) -> rule5) ((((triple1) -> rule7) triple1) -> rule6)) -> rule2))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple1) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((((triple1) -> (rule7 % int4)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4